Charlie is green. Charlie is quiet. Erin is big. All quiet people are nice.
Charlie is quiet.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Erin is big.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule1))]