Anne is big. Anne is green. Anne is nice. Anne is red. Anne is rough. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is white. If Anne is white then Anne is red. All rough people are white. If someone is nice then they are rough. Green people are nice. If someone is big and rough then they are furry. If someone is green then they are red. If someone is rough and not nice then they are not red. If someone is red and not rough then they are not big.
Erin is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule4))] Anne is red.[(triple4 OR ((triple2) -> rule6) OR ((((triple5) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule3)) -> rule2)) -> rule1))] Anne is rough.[(triple5 OR ((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule3))] Erin is big.[(triple6)] Erin is furry.[(triple7 OR ((triple6 triple11) -> rule5) OR ((triple6 ((triple9) -> rule3)) -> rule5) OR ((triple6 ((((triple8) -> rule4)) -> rule3)) -> rule5))] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple8) -> rule4))] Erin is red.[(triple10 OR ((triple8) -> rule6))] Erin is rough.[(triple11 OR ((triple9) -> rule3) OR ((((triple8) -> rule4)) -> rule3))] Erin is white.[(triple12 OR ((triple11) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2))] @1: Anne is furry.[(((triple1 triple5) -> rule5) OR ((triple1 ((triple3) -> rule3)) -> rule5) OR ((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule5))] Anne is white.[(((triple5) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule4)) -> rule3)) -> rule2))]