context: Charlie is quiet. Bob is the brother of Erin. If Erin is the wife of Anne then The brother of Bob is not Fiona. If Erin is blue then Erin is the wife of Anne. If Charlie is quiet then Erin is blue. If The brother of Erin is Bob or Fiona is not Bob's brother then The mother of Gary is not Charlie.