Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is smart. Gary is young. Cold, nice things are blue. All cold things are nice. If Gary is nice then Gary is cold. All smart, blue things are young. All furry, cold things are round. If Gary is furry then Gary is round.
Gary is cold.
@0: Gary is blue.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1) OR ((((triple4) -> rule3) ((triple2) -> rule2)) -> rule1))] Gary is cold.[(triple2 OR ((triple4) -> rule3))] Gary is furry.[(triple3)] Gary is nice.[(triple4 OR ((triple2) -> rule2))] Gary is round.[(triple5 OR ((triple3) -> rule6) OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple4) -> rule3)) -> rule5))] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple1) -> rule4) OR ((triple6 ((triple2 triple4) -> rule1)) -> rule4) OR ((triple6 ((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4) OR ((triple6 ((((triple4) -> rule3) triple4) -> rule1)) -> rule4) OR ((triple6 ((((triple4) -> rule3) ((triple2) -> rule2)) -> rule1)) -> rule4))]