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