logical_forms: (infer (speed lower world1) (friction higher world1) (friction lower world1)) (infer (speed lower world2) (friction higher world2) (friction lower world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Phil is riding his bike on the sidewalk and is enjoying the smooth ride. Then Phil takes his bike on a muddy path and his bike slows down. The bike slows down on the muddy path because of (A) more resistance (B) less resistance.