premise: Howard is as tall as Harold , Harold is as tall as Mathew , Mathew is as tall as Alvin , Alvin is as tall as Hector , Hector is as tall as Vernon , Vernon is as tall as Javier , Javier is as tall as Antonio , Antonio is taller than Martin
hypothesis: Mathew is taller than Martin