Erin is big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. If Erin is big then Erin is young.
Fiona is not big.
@0: Erin is big.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Erin is young.[(((triple1) -> rule1))]