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 cold.
@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)]