Gary is not big. Gary is blue. Gary is green. Gary is not kind. Gary is red. Gary is rough. Gary is not smart. If something is green and not big then it is not smart. If something is smart then it is kind. If Gary is not big then Gary is blue.
Gary is red.
@0: Gary is blue.[(triple2 OR ((triple1) -> rule3))] Gary is green.[(triple3)] Gary is not big.[(triple1)] Gary is not kind.[(triple4)] Gary is not smart.[(triple7 OR ((triple3 triple1) -> rule1))] Gary is red.[(triple5)] Gary is rough.[(triple6)]