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