Anne is blue. Anne is furry. Anne is quiet. Fiona is blue. Fiona is not furry. Fiona is not green. Fiona is not kind. Fiona is quiet. Fiona is round. Fiona is young. All furry things are green. If something is green and not round then it is kind.
Fiona is not young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Fiona is blue.[(triple4)] Fiona is not furry.[(triple5)] Fiona is not green.[(triple6)] Fiona is not kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Anne is green.[(((triple2) -> rule1))]