Anne is blue. Harry is green. Kind things are round. Blue, big things are round. All blue things are not round. If Harry is round and Harry is nice then Harry is rough. If Harry is not kind then Harry is not blue. If Harry is nice then Harry is not green.
Anne is not blue.
@0: Anne is blue.[(triple1)] Harry is green.[(triple2)] @1: Anne is not round.[(((triple1) -> rule3))]