Anne is big. Anne is quiet. Anne is not round. Anne is young. Fiona is furry. Fiona is not green. Fiona is not quiet. Fiona is round. Fiona is white. Fiona is young. All white, big people are not furry. All round, green people are not furry. Young, quiet people are green.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is not round.[(triple3)] Anne is quiet.[(triple2)] Anne is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is not green.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Anne is green.[(((triple4 triple2) -> rule3))]