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