context: The uncle of Gary is not Charlie. 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 smart if Charlie is not Gary's uncle and The mother of Charlie is Harry.