Anne is white. Bob is round. Erin is white. If Erin is white then Erin is quiet. All green people are furry. If someone is furry then they are round. If someone is cold and green then they are quiet. All white people are cold. If someone is round then they are furry. White people are furry. All quiet, round people are cold.
Anne is not white.
@0: Anne is white.[(triple1)] Bob is round.[(triple2)] Erin is white.[(triple3)] @1: Anne is cold.[(((triple1) -> rule5))] Anne is furry.[(((triple1) -> rule7))] Bob is furry.[(((triple2) -> rule6))] Erin is cold.[(((triple3) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule7)) -> rule3)) -> rule8))] Erin is furry.[(((triple3) -> rule7))] Erin is quiet.[(((triple3) -> rule1))] @2: Anne is round.[(((((triple1) -> rule7)) -> rule3))] Erin is round.[(((((triple3) -> rule7)) -> rule3))]