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