premise: Vincent is as tall as Arnold , Arnold is as tall as Antonio , Antonio is as tall as Harvey , Harvey is as tall as Floyd , Floyd is as tall as Alfredo , Alfredo is as tall as Carlos , Carlos is taller than Dave
hypothesis: Dave is taller than Harvey