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