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