Anne is cold. Anne is quiet. Bob is green. Bob is round. Erin is furry. Erin is quiet. Fiona is furry. All furry people are quiet. If someone is furry and green then they are blue. All cold people are blue. If someone is quiet and furry then they are cold. All furry, blue people are not green. If Erin is round then Erin is not nice. If Erin is green and Erin is blue then Erin is nice. If someone is quiet and not green then they are round.
Erin is not green.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4)] Erin is furry.[(triple5)] Erin is quiet.[(triple6 OR ((triple5) -> rule1))] Fiona is furry.[(triple7)] @1: Anne is blue.[(((triple1) -> rule3))] Erin is cold.[(((triple6 triple5) -> rule4) OR ((((triple5) -> rule1) triple5) -> rule4))] Fiona is quiet.[(((triple7) -> rule1))] @2: Erin is blue.[(((((triple6 triple5) -> rule4)) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3))] Fiona is cold.[(((((triple7) -> rule1) triple7) -> rule4))] @3: Erin is not green.[(((triple5 ((((triple6 triple5) -> rule4)) -> rule3)) -> rule5) OR ((triple5 ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule5))] Fiona is blue.[(((((((triple7) -> rule1) triple7) -> rule4)) -> rule3))] @4: Erin is round.[(((triple6 ((triple5 ((((triple6 triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple5) -> rule1) ((triple5 ((((triple6 triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((triple6 ((triple5 ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8) OR ((((triple5) -> rule1) ((triple5 ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8))] Fiona is not green.[(((triple7 ((((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule5))] @5: Erin is not nice.[(((((triple6 ((triple5 ((((triple6 triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple5) -> rule1) ((triple5 ((((triple6 triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((triple6 ((triple5 ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple5) -> rule1) ((triple5 ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule5)) -> rule8)) -> rule6))] Fiona is round.[(((((triple7) -> rule1) ((triple7 ((((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule5)) -> rule8))]