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