Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is white. Fiona is young. All green things are furry. Kind things are furry.
Fiona is not furry.
@0: Fiona is furry.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is not red.[(triple5)] Fiona is quiet.[(triple4)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]