Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is not nice. Fiona is rough. Fiona is young. All cold things are green. If something is green and not blue then it is nice.
Fiona is blue.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule1))] Fiona is kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]