Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is white. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is white. If Harry is green and Harry is red then Harry is blue. Rough, green things are quiet.
Harry is not red.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4 OR ((triple6 triple3) -> rule2))] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8 OR ((triple10 triple12) -> rule1))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11 OR ((triple13 triple10) -> rule2))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)]