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