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 cold.
@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)]