context: Charlie is quiet. If Charlie is quiet then Erin is blue. If Erin is blue then Erin is the wife of Anne. If Erin is the wife of Anne then The brother of Bob is not Fiona. Dave is not nice if Fiona is not Bob's brother.