Anne is green. Bob is red. Gary is white. Harry is white. If something is green then it is not red. All green things are not red. Cold things are not quiet. If something is red and not white then it is green. If something is quiet and not white then it is blue. If something is cold and not white then it is nice. If something is red and cold then it is nice. If something is red and not blue then it is nice.
Harry is not red.
@0: Anne is green.[(triple1)] Bob is red.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)] @1: Anne is not red.[(((triple1) -> rule1) OR ((triple1) -> rule2))]