Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is young. If someone is big then they are quiet.
Fiona is quiet.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple1) -> rule1))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]