Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. All green things are quiet.
Fiona is not blue.
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple2) -> rule1))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]