context: Anne is not furry. Anne is not Dave's father if Anne is not furry. If Anne is not Dave's father then Anne is rough. The father of Bob is Fiona if Anne is rough. Bob is not smart if The father of Bob is Fiona. Dave is Fiona's son if Bob is not smart.