Anne is blue. Gary is young. Harry is quiet. If something is young then it is not red. All big things are not blue. If Harry is young and Harry is not white then Harry is blue.
Harry is not quiet.
@0: Anne is blue.[(triple1)] Gary is young.[(triple2)] Harry is quiet.[(triple3)] @1: Gary is not red.[(((triple2) -> rule1))]