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 round.
@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)]