Anne is furry. Anne is nice. Anne is white. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Charlie is young. Dave is blue. Dave is green. Dave is nice. Dave is white. If Anne is green then Anne is white. If Anne is blue and Anne is white then Anne is young.
Anne is not young.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is nice.[(triple11)] Dave is white.[(triple12)]