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