このクリスマス・イブはＸ‐Ｐである
fact1: 「このクリスマス・イブは綻び始めなくておまけに混交するということはない」ということは間違いである fact2: もし仮に「このクリスマス・イブは綻び始めるということはないし混交しない」ということは成り立たないならＸ‐Ｐでない
$facts$ = fact1: 「このクリスマス・イブは綻び始めなくておまけに混交するということはない」ということは間違いである fact2: もし仮に「このクリスマス・イブは綻び始めるということはないし混交しない」ということは成り立たないならＸ‐Ｐでない ; $hypothesis$ = このクリスマス・イブはＸ‐Ｐである ; $proof$ = 
事実1: 「このクリスマス・イブは綻び始めなくておまけに混交するということはない」ということは間違いである
事実2: もし仮に「このクリスマス・イブは綻び始めるということはないし混交しない」ということは成り立たないならＸ‐Ｐでない

仮説: このクリスマス・イブはＸ‐Ｐである