Anne is big. Anne is round. Anne is young. Erin is green. Erin is quiet. Erin is round. Erin is young. If Erin is nice then Erin is big. If something is quiet then it is nice.
Erin is not furry.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] @1: Erin is nice.[(((triple5) -> rule2))] @2: Erin is big.[(((((triple5) -> rule2)) -> rule1))]