logical_forms: (infer (heat higher world1) (smoothness lower world2) (smoothness lower world1)) (infer (heat higher world2) (smoothness lower world1) (smoothness lower world2))
logical_form_pretty: qrel(heat, higher, world1) -> qrel(smoothness, lower, world2) ; qrel(smoothness, lower, world1)
question: Billy rubbed a slab of raw chicken back and forth across two different surfaces. One of the surfaces that he rubbed the raw chicken on was a wooden table top, and the other surface was a square foot of velcro. Billy noticed that the slab of raw chicken seemed to be warmer after rubbing it on velcro as opposed to when he rubbed it on the wooden table top. Billy concluded that the rougher of the two surfaces was the (A) wooden table top (B) velcro