Fiona is cold. Fiona is kind. Fiona is quiet. All nice people are cold. Cold people are kind.
Fiona is kind.
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2 OR ((triple1) -> rule2))] Fiona is quiet.[(triple3)]