Erin is big. Erin is green. Erin is round. Round things are not quiet. Nice things are not rough.
Erin is not green.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is round.[(triple3)] @1: Erin is not quiet.[(((triple3) -> rule1))]