Anne is nice. Erin is cold. Erin is nice. If something is white and nice then it is rough. If something is big and not cold then it is not young. If something is rough and cold then it is young. All big, white things are nice. Cold things are white. If something is white and rough then it is quiet.
Erin is rough.
@0: Anne is nice.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple3)] @1: Erin is white.[(((triple2) -> rule5))] @2: Erin is rough.[(((((triple2) -> rule5) triple3) -> rule1))] @3: Erin is quiet.[(((((triple2) -> rule5) ((((triple2) -> rule5) triple3) -> rule1)) -> rule6))] Erin is young.[(((((((triple2) -> rule5) triple3) -> rule1) triple2) -> rule3))]