Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. All cold people are nice.
Fiona is red.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule1))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)]