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