「このイギリス側はワックスでないかあるいはそれはペン先である」ということは成り立たない
fact1: 「その大賞は二十六Ｂでないかあるいはワックスであるか両方ともである」ということは成り立たない fact2: もしもその大賞は原初状態だとすると「このイギリス側はワックスだということはないかペン先であるかもしくは両方ともである」ということは間違っている fact3: その大賞は原初状態でおまけに二十六Ｂである fact4: もしその大賞が原初状態だとすればこのイギリス側はペン先でない fact5: 「その大賞は二十六Ｂであるということはないかあるいは御寒いかまたは両方ともである」ということは嘘だ
fact3 -> int1: その大賞は原初状態だ; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「その大賞は二十六Ｂでないかあるいはワックスであるか両方ともである」ということは成り立たない fact2: もしもその大賞は原初状態だとすると「このイギリス側はワックスだということはないかペン先であるかもしくは両方ともである」ということは間違っている fact3: その大賞は原初状態でおまけに二十六Ｂである fact4: もしその大賞が原初状態だとすればこのイギリス側はペン先でない fact5: 「その大賞は二十六Ｂであるということはないかあるいは御寒いかまたは両方ともである」ということは嘘だ ; $hypothesis$ = 「このイギリス側はワックスでないかあるいはそれはペン先である」ということは成り立たない ; $proof$ = 
fact3 -> int1: その大賞は原初状態だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「その大賞は二十六Ｂでないかあるいはワックスであるか両方ともである」ということは成り立たない
事実2: もしもその大賞は原初状態だとすると「このイギリス側はワックスだということはないかペン先であるかもしくは両方ともである」ということは間違っている
事実3: その大賞は原初状態でおまけに二十六Ｂである
事実4: もしその大賞が原初状態だとすればこのイギリス側はペン先でない
事実5: 「その大賞は二十六Ｂであるということはないかあるいは御寒いかまたは両方ともである」ということは嘘だ

仮説: 「このイギリス側はワックスでないかあるいはそれはペン先である」ということは成り立たない
1. 事実3から、推論1: "その大賞は原初状態だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。