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