context: Gary is not rough. Gary is cold. Bob is not green. Bob is not cold. If Bob is not green then Erin is not green. Erin is green if Harry is not the husband of Fiona. Erin is round if Gary is cold. If The husband of Fiona is not Harry then Erin is not round. Dave is not red if Bob is not green. Dave is red if Harry is not Fiona's husband. Gary is not kind if Bob is not cold. If Harry is not Fiona's husband then Gary is kind. Gary is not smart if Harry is not Fiona's husband. If Gary is not kind then Bob is red. If Harry is not the husband of Fiona then Bob is not red. Dave is not white if Harry is not Fiona's husband. If Gary is cold then The father of Bob is Fiona. The father of Bob is not Fiona if Harry is not the husband of Fiona. If Erin is round then Charlie is not blue. Charlie is blue if Gary is not smart. Bob is not round if Bob is not green. Bob is round if Dave is not white. Bob is not smart if Bob is red. If The husband of Fiona is not Harry then Bob is smart. If Gary is not rough then Bob is the wife of Charlie. If Dave is not white then The wife of Charlie is not Bob. Erin is Fiona's daughter if Gary is not kind. The daughter of Fiona is not Erin if Gary is not smart. If Bob is not round then Erin is white. Erin is not white if The husband of Fiona is not Harry. If Bob is not smart then Erin is not furry. If Dave is not white then Erin is furry. If Erin is round then Charlie is not quiet. Charlie is quiet if Gary is not smart. If Erin is white then The father of Fiona is Anne. Anne is not the father of Fiona if Dave is not white. Harry is not cold if Erin is not furry. If Dave is not white then Harry is cold. If Dave is not red then Fiona is green. Fiona is not green if Gary is not smart. If Harry is not the husband of Fiona then Charlie is not kind.