Anne is cold. Anne is quiet. Erin is big. Erin is blue. Erin is not cold. Erin is nice. Erin is rough. All white, rough people are not big. If Erin is white then Erin is quiet. If someone is white then they are cold. If Anne is cold then Anne is rough. If Anne is rough then Anne is white. Quiet people are nice.
Anne is not nice.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple6)] Erin is not cold.[(triple5)] Erin is rough.[(triple7)] @1: Anne is nice.[(((triple2) -> rule6))] Anne is rough.[(((triple1) -> rule4))] @2: Anne is white.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is not big.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule1))]