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