Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is young. If something is young then it is quiet. If something is young then it is nice.
Fiona is not green.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5 OR ((triple7) -> rule2))] Fiona is quiet.[(triple6 OR ((triple7) -> rule1))] Fiona is young.[(triple7)]