context: Charlie is quiet. Bob is young. 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. Dave is nice if Bob is young or Fiona is not the brother of Bob.