context: Charlie is quiet. Dave is not nice if Fiona is not Bob's brother. 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 or The father of Erin is Harry then Erin is blue.