Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is white. Gary is young. All white, red things are green.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((triple6 triple5) -> rule1))] Gary is red.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]