Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is smart. If something is kind and smart then it is furry. All smart things are red. Green things are furry. All blue, quiet things are smart. All furry things are smart. All quiet things are red.
Gary is red.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2 OR ((triple3) -> rule3) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple1 triple5) -> rule4)) -> rule1))] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule6) OR ((triple7) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((triple1 triple5) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule5)) -> rule2))] Gary is smart.[(triple7 OR ((triple2) -> rule5) OR ((triple1 triple5) -> rule4) OR ((((triple3) -> rule3)) -> rule5))]