Anne is rough. Anne is smart. Erin is big. If someone is white then they are not big. All white, quiet people are blue. If someone is smart and white then they are not blue. If Anne is smart then Anne is nice. If Erin is not rough then Erin is blue. If Erin is smart then Erin is not white. If someone is blue and nice then they are smart. Nice people are white.
Anne is nice.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Erin is big.[(triple3)] @1: Anne is nice.[(((triple2) -> rule4))] @2: Anne is white.[(((((triple2) -> rule4)) -> rule8))] @3: Anne is not big.[(((((((triple2) -> rule4)) -> rule8)) -> rule1))] Anne is not blue.[(((triple2 ((((triple2) -> rule4)) -> rule8)) -> rule3))]