logical_forms: (infer (smoothness lower world1) (friction higher world1) (friction higher world2)) (infer (smoothness lower world2) (friction higher world2) (friction higher world1))
logical_form_pretty: qrel(smoothness, lower, world1) -> qrel(friction, higher, world1) ; qrel(friction, higher, world2)
question: Mary was rolling a log down a hill. She noticed that when she rolls the log over the rocky part of the hill that is very bumpy, the log struggles to roll compared to when she rolls it down the muddy part of the hill. The section of the hill with the most resistance is the (A) rocky part of the hill (B) muddy part of the hill.