Anne is round. Erin is rough. Erin is smart. If Anne is round and Anne is big then Anne is quiet. All round things are big. If Anne is rough and Anne is big then Anne is round. If Erin is white and Erin is rough then Erin is big. If Anne is round then Anne is young. Young, big things are quiet. If something is quiet then it is rough. If something is white then it is round.
Erin is not quiet.
@0: Anne is round.[(triple1)] Erin is rough.[(triple2)] Erin is smart.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule5))] @2: Anne is quiet.[(((triple1 ((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule5) ((triple1) -> rule2)) -> rule6))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule7) OR ((((((triple1) -> rule5) ((triple1) -> rule2)) -> rule6)) -> rule7))]