Anne is green. Anne is nice. Anne is white. Bob is young. Erin is cold. Erin is nice. Harry is green. Harry is nice. Harry is white. Harry is young. If something is nice and furry then it is blue. If Anne is cold and Anne is green then Anne is young.
Anne is not young.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Bob is young.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]