Anne is green. Anne is round. Anne is white. Charlie is blue. Charlie is not red. Charlie is round. Dave is furry. If something is white then it is green.
Anne is red.
@0: Anne is green.[(triple1 OR ((triple3) -> rule1))] Anne is round.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is not red.[(triple5)] Charlie is round.[(triple6)] Dave is furry.[(triple7)]