Anne is round. Erin is quiet. Fiona is cold. Fiona is green. Fiona is smart. Fiona is white. Harry is green. If someone is green and quiet then they are furry. If Erin is furry and Erin is white then Erin is cold. All white people are quiet. If someone is smart then they are green. Quiet people are smart. All cold people are round. White people are cold. Cold people are furry.
Fiona is white.
@0: Anne is round.[(triple1)] Erin is quiet.[(triple2)] Fiona is cold.[(triple3 OR ((triple6) -> rule7))] Fiona is green.[(triple4 OR ((triple5) -> rule4) OR ((((((triple6) -> rule3)) -> rule5)) -> rule4))] Fiona is smart.[(triple5 OR ((((triple6) -> rule3)) -> rule5))] Fiona is white.[(triple6)] Harry is green.[(triple7)] @1: Erin is smart.[(((triple2) -> rule5))] Fiona is furry.[(((triple3) -> rule8) OR ((((triple6) -> rule7)) -> rule8) OR ((triple4 ((triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule4) ((triple6) -> rule3)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule5)) -> rule4) ((triple6) -> rule3)) -> rule1))] Fiona is quiet.[(((triple6) -> rule3))] Fiona is round.[(((triple3) -> rule6) OR ((((triple6) -> rule7)) -> rule6))] @2: Erin is green.[(((((triple2) -> rule5)) -> rule4))] @3: Erin is furry.[(((((((triple2) -> rule5)) -> rule4) triple2) -> rule1))]