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