Anne is cold. Anne is nice. Anne is red. Erin is nice. Erin is red. Erin is rough. Erin is white. If someone is white then they are quiet. If someone is white and not red then they are not quiet. All quiet people are nice. All white people are cold. All cold people are white. If Erin is cold then Erin is white.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((((((triple1) -> rule5)) -> rule1)) -> rule3))] Anne is red.[(triple3)] Erin is nice.[(triple4 OR ((((triple7) -> rule1)) -> rule3))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule5))] Erin is cold.[(((triple7) -> rule4))] Erin is quiet.[(((triple7) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule5)) -> rule1))]