Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is white. All white people are nice. Furry, nice people are round. If Gary is cold then Gary is big. If Gary is big then Gary is furry. If someone is white then they are round. White people are furry.
Gary is not nice.
@0: Gary is big.[(triple1 OR ((triple2) -> rule3))] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple1) -> rule4) OR ((triple7) -> rule6) OR ((((triple2) -> rule3)) -> rule4))] Gary is nice.[(triple4 OR ((triple7) -> rule1))] Gary is red.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule5) OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple7) -> rule1)) -> rule2) OR ((((triple1) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule6) triple4) -> rule2) OR ((((triple1) -> rule4) ((triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule6) ((triple7) -> rule1)) -> rule2) OR ((((((triple2) -> rule3)) -> rule4) triple4) -> rule2) OR ((((((triple2) -> rule3)) -> rule4) ((triple7) -> rule1)) -> rule2))] Gary is white.[(triple7)]