context: The uncle of Gary is not Charlie. The mother of Charlie is Harry. If Erin is not the daughter of Fiona then Bob is green. Erin is not the son of Gary if Bob is green. Harry is quiet if Bob is not smart. Erin is not the daughter of Fiona if Harry is quiet. Bob is not smart if Harry is the mother of Charlie and Charlie is not the uncle of Gary.