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