Erin is big. Erin is nice. Erin is white. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. White things are big.
Fiona is nice.
@0: Erin is big.[(triple1 OR ((triple3) -> rule1))] Erin is nice.[(triple2)] Erin is white.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is big.[(((triple7) -> rule1))]