Gary is big. Gary is blue. Gary is green. Gary is not nice. Gary is not red. Gary is not rough. Gary is not round. If something is big then it is green. If something is round and blue then it is green. If Gary is rough then Gary is nice. Rough things are round. Rough, big things are nice. If something is green then it is big. If Gary is green then Gary is not red. If Gary is nice and Gary is not big then Gary is red.
Gary is not round.
@0: Gary is big.[(triple1 OR ((triple3) -> rule6))] Gary is blue.[(triple2)] Gary is green.[(triple3 OR ((triple1) -> rule1))] Gary is not nice.[(triple4)] Gary is not red.[(triple5 OR ((triple3) -> rule7) OR ((((triple1) -> rule1)) -> rule7))] Gary is not rough.[(triple6)] Gary is not round.[(triple7)]