Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is smart. Gary is white. Gary is young. If Gary is smart and Gary is furry then Gary is big.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple5 triple3) -> rule1))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]