Fiona is not big. Fiona is blue. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. If someone is white then they are kind. If someone is big and not kind then they are blue.
Fiona is not big.
@0: Fiona is blue.[(triple2)] Fiona is kind.[(triple4 OR ((triple7) -> rule1))] Fiona is nice.[(triple5)] Fiona is not big.[(triple1)] Fiona is not furry.[(triple3)] Fiona is red.[(triple6)] Fiona is white.[(triple7)]