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