「あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談であるということはない」ということは嘘でない
fact1: あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談だ
$facts$ = fact1: あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談だ ; $hypothesis$ = 「あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談であるということはない」ということは嘘でない ; $proof$ = 
事実1: あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談だ

仮説: 「あのＨＩＮＴ＆ＴＩＰＳは南北首脳会談であるということはない」ということは嘘でない