Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is young. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is young. If Erin is furry and Erin is green then Erin is kind. If Erin is furry then Erin is young. All big, young people are kind. Quiet people are green. If someone is furry and kind then they are quiet. If someone is quiet then they are cold.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((triple3 ((triple1 triple5) -> rule3)) -> rule5)) -> rule6))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((((triple3 ((triple1 triple5) -> rule3)) -> rule5)) -> rule4))] Anne is young.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7 OR ((triple11) -> rule6) OR ((((triple8 triple10) -> rule5)) -> rule6) OR ((((triple8 ((triple6 triple12) -> rule3)) -> rule5)) -> rule6) OR ((((triple8 ((triple8 triple9) -> rule1)) -> rule5)) -> rule6) OR ((((triple8 ((triple6 ((triple8) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Erin is furry.[(triple8)] Erin is green.[(triple9 OR ((triple11) -> rule4) OR ((((triple8 triple10) -> rule5)) -> rule4) OR ((((triple8 ((triple6 triple12) -> rule3)) -> rule5)) -> rule4) OR ((((triple8 ((triple6 ((triple8) -> rule2)) -> rule3)) -> rule5)) -> rule4))] Erin is kind.[(triple10 OR ((triple6 triple12) -> rule3) OR ((triple8 triple9) -> rule1) OR ((triple6 ((triple8) -> rule2)) -> rule3) OR ((triple8 ((triple11) -> rule4)) -> rule1))] Erin is quiet.[(triple11 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple6 triple12) -> rule3)) -> rule5) OR ((triple8 ((triple8 triple9) -> rule1)) -> rule5) OR ((triple8 ((triple6 ((triple8) -> rule2)) -> rule3)) -> rule5))] Erin is young.[(triple12 OR ((triple8) -> rule2))] @1: Anne is kind.[(((triple1 triple5) -> rule3))] @2: Anne is quiet.[(((triple3 ((triple1 triple5) -> rule3)) -> rule5))]