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