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