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