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