context: Dave is not cold. Charlie is Bob's daughter. If Charlie is not Gary's son then Dave is blue. If Anne is not round then Charlie is not Gary's son. Anne is not round if Dave is not cold and Charlie is the daughter of Bob.