Anne is smart. Charlie is nice. Erin is furry. Erin is white. Fiona is smart. Fiona is white. Fiona is young. Nice, smart things are young. All young, white things are cold. White things are red. All furry, red things are nice. All young things are white. All young things are white. All smart, cold things are furry. If something is nice and white then it is smart. If Anne is furry and Anne is white then Anne is red.
Erin is cold.
@0: Anne is smart.[(triple1)] Charlie is nice.[(triple2)] Erin is furry.[(triple3)] Erin is white.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple7) -> rule5) OR ((triple7) -> rule6))] Fiona is young.[(triple7)] @1: Erin is red.[(((triple4) -> rule3))] Fiona is cold.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple7) -> rule5)) -> rule2) OR ((triple7 ((triple7) -> rule6)) -> rule2))] Fiona is red.[(((triple6) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] @2: Erin is nice.[(((triple3 ((triple4) -> rule3)) -> rule4))] Fiona is furry.[(((triple5 ((triple7 triple6) -> rule2)) -> rule7) OR ((triple5 ((triple7 ((triple7) -> rule5)) -> rule2)) -> rule7) OR ((triple5 ((triple7 ((triple7) -> rule6)) -> rule2)) -> rule7))] @3: Erin is smart.[(((((triple3 ((triple4) -> rule3)) -> rule4) triple4) -> rule8))] Fiona is nice.[(((((triple5 ((triple7 triple6) -> rule2)) -> rule7) ((triple6) -> rule3)) -> rule4) OR ((((triple5 ((triple7 triple6) -> rule2)) -> rule7) ((((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple5 ((triple7 triple6) -> rule2)) -> rule7) ((((triple7) -> rule6)) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule5)) -> rule2)) -> rule7) ((triple6) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple6) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule5)) -> rule2)) -> rule7) ((((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule5)) -> rule2)) -> rule7) ((((triple7) -> rule6)) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule6)) -> rule2)) -> rule7) ((((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple5 ((triple7 ((triple7) -> rule6)) -> rule2)) -> rule7) ((((triple7) -> rule6)) -> rule3)) -> rule4))] @4: Erin is young.[(((((triple3 ((triple4) -> rule3)) -> rule4) ((((triple3 ((triple4) -> rule3)) -> rule4) triple4) -> rule8)) -> rule1))] @5: Erin is cold.[(((((((triple3 ((triple4) -> rule3)) -> rule4) ((((triple3 ((triple4) -> rule3)) -> rule4) triple4) -> rule8)) -> rule1) triple4) -> rule2))]