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