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