Anne is not blue. Anne is not green. Anne is not nice. Bob is furry. Bob is not nice. Erin is round. Harry is nice. If Anne is round then Anne is nice. If something is nice then it is blue. If something is nice and not round then it is blue. All green things are not blue. If Erin is round and Erin is furry then Erin is nice. If something is round and not green then it is nice. If something is quiet and not green then it is nice. All green things are nice.
Harry is not nice.
@0: Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Anne is not nice.[(triple3)] Bob is furry.[(triple4)] Bob is not nice.[(triple5)] Erin is round.[(triple6)] Harry is nice.[(triple7)] @1: Harry is blue.[(((triple7) -> rule2))]