Fiona is big. Fiona is not blue. Fiona is green. Fiona is red. Fiona is not rough. Fiona is round. Fiona is not smart. Big things are round.
Fiona is smart.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple3)] Fiona is not blue.[(triple2)] Fiona is not rough.[(triple5)] Fiona is not smart.[(triple7)] Fiona is red.[(triple4)] Fiona is round.[(triple6 OR ((triple1) -> rule1))]