Anne is furry. Anne is quiet. Erin is furry. Erin is not rough. Fiona is not quiet. Fiona is smart. Harry is quiet. Smart people are white. Quiet people are smart. All smart, rough people are not furry. If someone is white and not quiet then they are not furry. All white people are cold. All furry, quiet people are not rough. If Fiona is smart and Fiona is quiet then Fiona is white. If Harry is cold then Harry is rough. If Erin is white and Erin is not smart then Erin is not cold.
Erin is cold.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Erin is furry.[(triple3)] Erin is not rough.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is smart.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is not rough.[(((triple1 triple2) -> rule6))] Anne is smart.[(((triple2) -> rule2))] Fiona is white.[(((triple6) -> rule1))] Harry is smart.[(((triple7) -> rule2))] @2: Anne is white.[(((((triple2) -> rule2)) -> rule1))] Fiona is cold.[(((((triple6) -> rule1)) -> rule5))] Fiona is not furry.[(((((triple6) -> rule1) triple5) -> rule4))] Harry is white.[(((((triple7) -> rule2)) -> rule1))] @3: Anne is cold.[(((((((triple2) -> rule2)) -> rule1)) -> rule5))] Harry is cold.[(((((((triple7) -> rule2)) -> rule1)) -> rule5))] @4: Harry is rough.[(((((((((triple7) -> rule2)) -> rule1)) -> rule5)) -> rule8))] @5: Harry is not furry.[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule1)) -> rule5)) -> rule8)) -> rule3))]