Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. If Fiona is cold then Fiona is nice.
Fiona is not nice.
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3 OR ((triple1) -> rule1))] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]