premise: Ben is as tall as Luis , Luis is as tall as Steve , Steve is as tall as Gerald , Gerald is as tall as Andrew , Andrew is as tall as Melvin , Melvin is as tall as Harold , Harold is as tall as Carl , Carl is as tall as Tony , Tony is taller than Mike
hypothesis: Mike is taller than Harold