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