Fiona is big. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Round things are white.
Fiona is not round.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple5) -> rule1))]