Anne is furry. Anne is round. Anne is young. Charlie is blue. Charlie is green. Charlie is kind. Charlie is young. All furry people are young.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule1))] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is young.[(triple7)]