Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is young. If someone is kind then they are not furry.
Fiona is not green.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is not furry.[(triple3 OR ((triple5) -> rule1))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]