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