Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is white. All cold, red things are green.
Fiona is not rough.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4 OR ((triple3 triple5) -> rule1))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)]