Anne is green. Anne is kind. Anne is red. Anne is white. Anne is young. Charlie is blue. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. All green things are white. If something is red then it is blue. If something is green then it is blue.
Anne is round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4 OR ((triple1) -> rule1))] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is kind.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] @1: Anne is blue.[(((triple1) -> rule3) OR ((triple3) -> rule2))]