Erin is white. If Erin is white then Erin is not round. If something is blue and round then it is nice. Young, blue things are not nice. If something is young and not blue then it is not nice. If something is round and not blue then it is quiet. If Erin is not round then Erin is green.
Erin is round.
@0: Erin is white.[(triple1)] @1: Erin is not round.[(((triple1) -> rule1))] @2: Erin is green.[(((((triple1) -> rule1)) -> rule6))]