Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. All round things are quiet. Smart, rough things are red. If Gary is round then Gary is green.
Harry is nice.
@0: Gary is green.[(triple1 OR ((triple6) -> rule3))] Gary is nice.[(triple2)] Gary is quiet.[(triple3 OR ((triple6) -> rule1))] Gary is red.[(triple4 OR ((triple7 triple5) -> rule2))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple11) -> rule1))] Harry is round.[(triple11)] Harry is smart.[(triple12)]