Fiona is blue. Fiona is cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If Fiona is cold and Fiona is rough then Fiona is red.
Fiona is round.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple2 triple5) -> rule1))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]