Anne is not nice. Bob is nice. Charlie is kind. Charlie is nice. Fiona is not kind. Fiona is not nice. Fiona is not red. All kind things are furry. If Fiona is round and Fiona is kind then Fiona is young. All kind, round things are red. All kind, red things are not round. All big, round things are nice. If Charlie is kind then Charlie is not red.
Fiona is not furry.
@0: Anne is not nice.[(triple1)] Bob is nice.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Fiona is not kind.[(triple5)] Fiona is not nice.[(triple6)] Fiona is not red.[(triple7)] @1: Charlie is furry.[(((triple3) -> rule1))] Charlie is not red.[(((triple3) -> rule6))]