context: Charlie is not quiet. Dave is not young. 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 Dave is young then Erin is blue.