Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is white. If something is cold and quiet then it is red.
Fiona is not blue.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple3 triple5) -> rule1))] Fiona is white.[(triple7)]