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 smart.
@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)]