Anne is furry. Anne is white. Erin is blue. Erin is kind. Erin is rough. Erin is round. Erin is white. White people are quiet. If someone is furry and kind then they are round. If someone is blue and rough then they are kind. White people are rough. Furry, rough people are kind. All kind people are rough.
Erin is not blue.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple7) -> rule4)) -> rule3))] Erin is rough.[(triple5 OR ((triple4) -> rule6) OR ((triple7) -> rule4))] Erin is round.[(triple6)] Erin is white.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule1))] Anne is rough.[(((triple2) -> rule4))] Erin is quiet.[(((triple7) -> rule1))] @2: Anne is kind.[(((triple1 ((triple2) -> rule4)) -> rule5))] @3: Anne is round.[(((triple1 ((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2))]