context: The uncle of Gary is not Charlie. 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. Harry is red if Erin is not Fiona's daughter.