Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Charlie is green. Dave is nice. Dave is red. Harry is not furry. Harry is nice. Harry is red. Harry is round. Harry is young. If Charlie is young and Charlie is white then Charlie is not nice. If something is young and not red then it is furry.
Harry is green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is green.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Harry is nice.[(triple12)] Harry is not furry.[(triple11)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)]