Anne is not blue. Anne is kind. Anne is red. Anne is smart. Erin is furry. Erin is smart. Gary is blue. Big things are kind. If something is kind then it is red. If something is big then it is red. If something is red then it is not big. If something is kind and not furry then it is blue. If something is smart and furry then it is blue. If something is rough and big then it is smart. If Erin is smart and Erin is not red then Erin is rough.
Erin is smart.
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3 OR ((triple2) -> rule2))] Anne is smart.[(triple4)] Erin is furry.[(triple5)] Erin is smart.[(triple6)] Gary is blue.[(triple7)] @1: Anne is not big.[(((triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Erin is blue.[(((triple6 triple5) -> rule6))]