Fiona is not big. Fiona is not cold. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If something is cold and not nice then it is smart. If Fiona is big and Fiona is cold then Fiona is white. If something is smart and not big then it is red.
Fiona is red.
@0: Fiona is nice.[(triple3)] Fiona is not big.[(triple1)] Fiona is not cold.[(triple2)] Fiona is red.[(triple4 OR ((triple6 triple1) -> rule3))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]