Bob is red. Bob is rough. Harry is green. Round things are big. Blue things are big. Big, rough things are round. Blue, big things are quiet. Red, green things are blue. If Bob is blue and Bob is big then Bob is quiet. If Bob is round then Bob is rough. All red, big things are blue.
Harry is not green.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Harry is green.[(triple3)]