Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. All rough, kind people are nice.
Fiona is not rough.
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3 OR ((triple6 triple2) -> rule1))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)]