Gary is big. Gary is cold. Gary is not green. Gary is quiet. Gary is red. Gary is rough. Gary is white. Quiet, big people are white. Green people are white. All green people are cold.
Gary is not cold.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is not green.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple4 triple1) -> rule1))]