logical_forms: (infer (and (distance high world1) (distance low world2)) (speed higher world1) (speed higher world2)) (infer (and (distance high world2) (distance low world1)) (speed higher world2) (speed higher world1))
logical_form_pretty: qval(distance, high, world1), qval(distance, low, world2) -> qrel(speed, higher, world1) ; qrel(speed, higher, world2)
question: In the story about the tortoise and the hare, the tortoise ends up winning the race. In real life, if a hare and a tortoise were to race, the hare would win because (A) it is faster (B) it is slower.