Erin is blue. Erin is green. Erin is rough. Rough things are white. All quiet things are not white. If Erin is smart and Erin is rough then Erin is white. If Erin is round and Erin is not smart then Erin is white. If something is blue and white then it is not quiet. If something is round then it is rough.
Erin is white.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3)] @1: Erin is white.[(((triple3) -> rule1))] @2: Erin is not quiet.[(((triple1 ((triple3) -> rule1)) -> rule5))]