Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is young. Harry is green. Harry is red. Harry is rough. Nice, round things are red. Rough, round things are red. Rough, blue things are red. Round things are green. Round things are rough. If Harry is not nice then Harry is round. If Harry is round then Harry is rough. If Harry is not red then Harry is green.
Harry is young.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2 OR ((triple6) -> rule4))] Gary is nice.[(triple3)] Gary is red.[(triple4 OR ((triple3 triple6) -> rule1) OR ((triple5 triple1) -> rule3) OR ((triple5 triple6) -> rule2) OR ((((triple6) -> rule5) triple1) -> rule3) OR ((((triple6) -> rule5) triple6) -> rule2))] Gary is rough.[(triple5 OR ((triple6) -> rule5))] Gary is round.[(triple6)] Gary is young.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)]