context: Fiona is not furry. Fiona is quiet. Harry is the grandfather of Gary. Bob is quiet if Fiona is not furry. Bob is not quiet if Anne is not furry. Harry is not round if Bob is not Gary's aunt. If Fiona is quiet then Gary is smart. If Anne is not furry then Gary is not smart. Charlie is not green if Fiona is not furry. Charlie is green if Anne is not furry. Charlie is not round if Fiona is not furry. If Anne is not furry then Charlie is round. If Gary is smart then Harry is not smart. Harry is smart if Anne is not furry. Harry is not cold if Gary is smart. If The aunt of Gary is not Bob then Harry is cold. Charlie is not rough if Fiona is not furry. Charlie is rough if Bob is not Gary's aunt. Fiona is big if Bob is not Gary's aunt. If Anne is not furry then Gary is blue. If Fiona is not furry then Harry is white. If Fiona is big then Harry is not white. Dave is not Charlie's daughter if Fiona is quiet. The daughter of Charlie is Dave if Fiona is big. If Charlie is not round then Dave is not Fiona's husband. If Harry is not round then Dave is Fiona's husband. Fiona is Dave's daughter if Fiona is big. If Harry is not cold then Erin is green. If Bob is not Gary's aunt then Erin is not green. If Harry is Gary's grandfather then Harry is young. If Fiona is the daughter of Dave then Harry is not young. Fiona is rough if Gary is smart. If Fiona is Dave's daughter then Fiona is not rough. If The daughter of Charlie is not Dave then Harry is nice. If Fiona is big then Harry is not nice. The grandmother of Bob is Anne if Erin is green. The grandmother of Bob is not Anne if Harry is not round. If Erin is green then Anne is big. Anne is not big if Gary is blue. Erin is not round if Harry is white. Erin is round if Gary is blue. If Anne is the grandmother of Bob then Bob is cold. If Gary is blue then Bob is not cold. Anne is not kind if Harry is Gary's grandfather. Anne is kind if Fiona is Dave's daughter.