Erin is big. Erin is white. Fiona is big. Fiona is green. Fiona is nice. Fiona is quiet. Gary is young. All white things are big.
Erin is big.
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is white.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Gary is young.[(triple7)]