Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. If someone is kind and red then they are white. All smart people are blue.
Fiona is not green.
@0: Fiona is blue.[(triple1 OR ((triple6) -> rule2))] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple4 triple5) -> rule1))]