Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is young. Young people are furry. Young, red people are kind.
Fiona is not green.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple7) -> rule1))] Fiona is green.[(triple3)] Fiona is kind.[(triple4 OR ((triple7 triple5) -> rule2))] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]