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