Gary is big. Gary is blue. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. All smart, rough things are blue. If Gary is blue and Gary is smart then Gary is nice. If Gary is nice then Gary is blue.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3) -> rule3) OR ((triple6 triple4) -> rule1))] Gary is nice.[(triple3 OR ((triple2 triple6) -> rule2) OR ((((triple6 triple4) -> rule1) triple6) -> rule2))] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]