Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. If something is rough and quiet then it is cold. White things are quiet.
Fiona is not white.
@0: Fiona is cold.[(triple1 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule2)) -> rule1))] Fiona is furry.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4 OR ((triple6) -> rule2))] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]