Fiona is big. Fiona is not furry. Fiona is not green. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If something is big and not furry then it is white.
Fiona is not white.
@0: Fiona is big.[(triple1)] Fiona is not furry.[(triple2)] Fiona is not green.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple1 triple2) -> rule1))]