この前走は二千一年末でない
fact1: 仮に「「精製するし更に伝わり難くない」ということは間違っている」物はあるとすれば「この前走は二千一年末だ」ということは本当だ fact2: 「「精製するし伝わり難いということはない」ということは誤りな」物はある
$facts$ = fact1: 仮に「「精製するし更に伝わり難くない」ということは間違っている」物はあるとすれば「この前走は二千一年末だ」ということは本当だ fact2: 「「精製するし伝わり難いということはない」ということは誤りな」物はある ; $hypothesis$ = この前走は二千一年末でない ; $proof$ = 
事実1: 仮に「「精製するし更に伝わり難くない」ということは間違っている」物はあるとすれば「この前走は二千一年末だ」ということは本当だ
事実2: 「「精製するし伝わり難いということはない」ということは誤りな」物はある

仮説: この前走は二千一年末でない