Fiona is not blue. Fiona is not kind. Fiona is nice. Fiona is red. Fiona is not rough. Fiona is smart. Fiona is young. Kind things are blue. Young things are not kind. If something is nice and not kind then it is smart.
Fiona is smart.
@0: Fiona is nice.[(triple3)] Fiona is not blue.[(triple1)] Fiona is not kind.[(triple2 OR ((triple7) -> rule2))] Fiona is not rough.[(triple5)] Fiona is red.[(triple4)] Fiona is smart.[(triple6 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple7) -> rule2)) -> rule3))] Fiona is young.[(triple7)]