Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. All furry, rough people are quiet.
Fiona is not kind.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3 triple6) -> rule1))] Fiona is rough.[(triple6)] Fiona is white.[(triple7)]