Erin is big. Erin is furry. Erin is young. If someone is rough and round then they are big. If Erin is furry then Erin is not round. If Erin is not round then Erin is not quiet.
Erin is not quiet.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is young.[(triple3)] @1: Erin is not round.[(((triple2) -> rule2))] @2: Erin is not quiet.[(((((triple2) -> rule2)) -> rule3))]