Gary is not big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is smart. Blue things are nice. If Gary is smart and Gary is not big then Gary is blue. If something is blue and not big then it is smart. All blue things are smart. Nice, smart things are green. If something is round and furry then it is green. All round things are furry. Nice, smart things are blue.
Gary is smart.
@0: Gary is blue.[(triple2 OR ((triple5 triple7) -> rule8) OR ((triple7 triple1) -> rule2))] Gary is furry.[(triple3 OR ((triple6) -> rule7))] Gary is green.[(triple4 OR ((triple5 triple7) -> rule5) OR ((triple6 triple3) -> rule6) OR ((triple5 ((triple2) -> rule4)) -> rule5) OR ((triple5 ((triple2 triple1) -> rule3)) -> rule5) OR ((triple6 ((triple6) -> rule7)) -> rule6) OR ((((triple2) -> rule1) triple7) -> rule5) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5) OR ((((triple2) -> rule1) ((triple2 triple1) -> rule3)) -> rule5) OR ((((((triple7 triple1) -> rule2)) -> rule1) triple7) -> rule5) OR ((((((triple7 triple1) -> rule2)) -> rule1) ((triple2) -> rule4)) -> rule5) OR ((((((triple7 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule3)) -> rule5))] Gary is nice.[(triple5 OR ((triple2) -> rule1) OR ((((triple7 triple1) -> rule2)) -> rule1))] Gary is not big.[(triple1)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple2) -> rule4) OR ((triple2 triple1) -> rule3))]