Fiona is not big. Fiona is blue. Fiona is not green. Fiona is kind. Fiona is not rough. Fiona is not round. Fiona is white. Rough, kind things are round. All white things are blue.
Fiona is not big.
@0: Fiona is blue.[(triple2 OR ((triple7) -> rule2))] Fiona is kind.[(triple4)] Fiona is not big.[(triple1)] Fiona is not green.[(triple3)] Fiona is not rough.[(triple5)] Fiona is not round.[(triple6)] Fiona is white.[(triple7)]