Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is round. If Gary is nice then Gary is round. Green people are round.
Gary is not green.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7 OR ((triple4) -> rule2) OR ((triple5) -> rule1))]