Anne is big. Anne is blue. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is young. Erin is big. Erin is quiet. Erin is rough. Blue, quiet people are young. If someone is big and rough then they are furry. All rough, furry people are blue. If someone is big and blue then they are furry. Rough, big people are red. Rough people are big.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple6) -> rule6))] Anne is blue.[(triple2 OR ((triple6 triple3) -> rule3) OR ((triple6 ((triple1 triple6) -> rule2)) -> rule3) OR ((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule3))] Anne is furry.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple1 triple6) -> rule2) OR ((((triple6) -> rule6) triple2) -> rule4) OR ((((triple6) -> rule6) triple6) -> rule2))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple1) -> rule5) OR ((triple6 ((triple6) -> rule6)) -> rule5))] Anne is rough.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple4) -> rule1) OR ((((triple6 triple3) -> rule3) triple4) -> rule1) OR ((((triple6 ((triple1 triple6) -> rule2)) -> rule3) triple4) -> rule1) OR ((((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule3) triple4) -> rule1))] Erin is big.[(triple8 OR ((triple10) -> rule6))] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] @1: Erin is furry.[(((triple8 triple10) -> rule2) OR ((((triple10) -> rule6) triple10) -> rule2))] Erin is red.[(((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule6)) -> rule5))] @2: Erin is blue.[(((triple10 ((triple8 triple10) -> rule2)) -> rule3) OR ((triple10 ((((triple10) -> rule6) triple10) -> rule2)) -> rule3))] @3: Erin is young.[(((((triple10 ((triple8 triple10) -> rule2)) -> rule3) triple9) -> rule1) OR ((((triple10 ((((triple10) -> rule6) triple10) -> rule2)) -> rule3) triple9) -> rule1))]