Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. All white things are furry.
Fiona is not nice.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2 OR ((triple7) -> rule1))] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]