context: Dave is not cold. Charlie is big. If Dave is not cold then Anne is not round. If Charlie is not Gary's son then Dave is blue. Anne is Fiona's uncle if Dave is blue. If Anne is not round then Charlie is not Gary's son. Charlie is Dave's husband if Charlie is big and Anne is Fiona's uncle.