Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is white. Gary is young. If Gary is cold and Gary is furry then Gary is young. White things are kind. All furry, kind things are young.
Gary is young.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple6) -> rule2))] Gary is rough.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple2 triple3) -> rule1) OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple6) -> rule2)) -> rule3))]