Anne is furry. Anne is young. Charlie is furry. Charlie is nice. Charlie is not white. Charlie is not young. Erin is not blue. Erin is white. Harry is blue. Harry is green. All red, nice things are not furry. If something is red then it is furry. Green, blue things are young. If Anne is blue and Anne is not red then Anne is white. Red things are not blue. If something is red and nice then it is blue.
Harry is not furry.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is not white.[(triple5)] Charlie is not young.[(triple6)] Erin is not blue.[(triple7)] Erin is white.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] @1: Harry is young.[(((triple10 triple9) -> rule3))]