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 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)]