context: Dave is not cold. Charlie is not the daughter of Bob. 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 round if Dave is not cold and Charlie is Bob's daughter.