Fiona is blue. Fiona is furry. Fiona is not red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. If Fiona is red and Fiona is not white then Fiona is round. If something is smart then it is rough. If something is white and not red then it is round.
Fiona is not round.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is not red.[(triple3)] Fiona is rough.[(triple4 OR ((triple6) -> rule2))] Fiona is round.[(triple5 OR ((triple7 triple3) -> rule3))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]