「仮に「カナダ政府でない」ということは成り立たないとしたら「「本懐でないししかも真白い」ということは誤っていない」ということは誤っている」物はある
fact1: もし仮に「このシリカ蒸着フィルムは砲撃でない」ということは正しいとすれば本懐でないしそれは真白い fact2: このシリカ蒸着フィルムは本懐でないがしかし真白い fact3: 「カナダ政府ならば「本懐であるしおまけに真白い」ということは成り立つということはない」ものはある fact4: もし何らかのものは砲撃でないとしたら「それは本懐でないけど真白い」ということは嘘だ fact5: もしもこのシリカ蒸着フィルムがカナダ政府であるとしたらそれは本懐でなくて真白い fact6: 「もしカナダ政府だとしたら本懐でないし更に真白い」物はある fact7: もし仮にこのシリカ蒸着フィルムは鉄道模型であるならば砲撃でない fact8: もし仮にこのシリカ蒸着フィルムは砲撃でないとすれば「本懐だしそれは真白い」ということは嘘だ fact9: もし仮にこのシリカ蒸着フィルムがカナダ政府であるかあるいはそれは鉄道模型であるかもしくは両方ならば砲撃でない fact10: 「「このシリカ蒸着フィルムは本懐だしかつ真白い」ということは成り立たない」ということは真実だ fact11: 仮にこのシリカ蒸着フィルムはカナダ政府なら「それが本懐だしそれは真白い」ということは間違っている fact12: 仮に何かは砲撃であるということはないとするとそれは本懐であるということはないし真白い fact13: 仮になにかは砲撃だということはないとしたら「本懐だしそれは真白い」ということは成り立つということはない
void -> assump1: 以下のように仮定する。このシリカ蒸着フィルムはカナダ政府である; assump1 -> int1: このシリカ蒸着フィルムはカナダ政府であるか鉄道模型だ; int1 & fact9 -> int2: このシリカ蒸着フィルムは砲撃でない; fact4 -> int3: もし「このシリカ蒸着フィルムは砲撃でない」ということは正しいならば「本懐でなくてそれに真白い」ということは誤っている; int2 & int3 -> int4: 「このシリカ蒸着フィルムは本懐でないが真白い」ということは本当であるということはない; [assump1] & int4 -> int5: もし仮にこのシリカ蒸着フィルムはカナダ政府なら「それは本懐でないが真白い」ということは間違いである; int5 -> hypothesis;
$facts$ = fact1: もし仮に「このシリカ蒸着フィルムは砲撃でない」ということは正しいとすれば本懐でないしそれは真白い fact2: このシリカ蒸着フィルムは本懐でないがしかし真白い fact3: 「カナダ政府ならば「本懐であるしおまけに真白い」ということは成り立つということはない」ものはある fact4: もし何らかのものは砲撃でないとしたら「それは本懐でないけど真白い」ということは嘘だ fact5: もしもこのシリカ蒸着フィルムがカナダ政府であるとしたらそれは本懐でなくて真白い fact6: 「もしカナダ政府だとしたら本懐でないし更に真白い」物はある fact7: もし仮にこのシリカ蒸着フィルムは鉄道模型であるならば砲撃でない fact8: もし仮にこのシリカ蒸着フィルムは砲撃でないとすれば「本懐だしそれは真白い」ということは嘘だ fact9: もし仮にこのシリカ蒸着フィルムがカナダ政府であるかあるいはそれは鉄道模型であるかもしくは両方ならば砲撃でない fact10: 「「このシリカ蒸着フィルムは本懐だしかつ真白い」ということは成り立たない」ということは真実だ fact11: 仮にこのシリカ蒸着フィルムはカナダ政府なら「それが本懐だしそれは真白い」ということは間違っている fact12: 仮に何かは砲撃であるということはないとするとそれは本懐であるということはないし真白い fact13: 仮になにかは砲撃だということはないとしたら「本懐だしそれは真白い」ということは成り立つということはない ; $hypothesis$ = 「仮に「カナダ政府でない」ということは成り立たないとしたら「「本懐でないししかも真白い」ということは誤っていない」ということは誤っている」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。このシリカ蒸着フィルムはカナダ政府である; assump1 -> int1: このシリカ蒸着フィルムはカナダ政府であるか鉄道模型だ; int1 & fact9 -> int2: このシリカ蒸着フィルムは砲撃でない; fact4 -> int3: もし「このシリカ蒸着フィルムは砲撃でない」ということは正しいならば「本懐でなくてそれに真白い」ということは誤っている; int2 & int3 -> int4: 「このシリカ蒸着フィルムは本懐でないが真白い」ということは本当であるということはない; [assump1] & int4 -> int5: もし仮にこのシリカ蒸着フィルムはカナダ政府なら「それは本懐でないが真白い」ということは間違いである; int5 -> hypothesis; __PROVED__
事実1: もし仮に「このシリカ蒸着フィルムは砲撃でない」ということは正しいとすれば本懐でないしそれは真白い
事実2: このシリカ蒸着フィルムは本懐でないがしかし真白い
事実3: 「カナダ政府ならば「本懐であるしおまけに真白い」ということは成り立つということはない」ものはある
事実4: もし何らかのものは砲撃でないとしたら「それは本懐でないけど真白い」ということは嘘だ
事実5: もしもこのシリカ蒸着フィルムがカナダ政府であるとしたらそれは本懐でなくて真白い
事実6: 「もしカナダ政府だとしたら本懐でないし更に真白い」物はある
事実7: もし仮にこのシリカ蒸着フィルムは鉄道模型であるならば砲撃でない
事実8: もし仮にこのシリカ蒸着フィルムは砲撃でないとすれば「本懐だしそれは真白い」ということは嘘だ
事実9: もし仮にこのシリカ蒸着フィルムがカナダ政府であるかあるいはそれは鉄道模型であるかもしくは両方ならば砲撃でない
事実10: 「「このシリカ蒸着フィルムは本懐だしかつ真白い」ということは成り立たない」ということは真実だ
事実11: 仮にこのシリカ蒸着フィルムはカナダ政府なら「それが本懐だしそれは真白い」ということは間違っている
事実12: 仮に何かは砲撃であるということはないとするとそれは本懐であるということはないし真白い
事実13: 仮になにかは砲撃だということはないとしたら「本懐だしそれは真白い」ということは成り立つということはない

仮説: 「仮に「カナダ政府でない」ということは成り立たないとしたら「「本懐でないししかも真白い」ということは誤っていない」ということは誤っている」物はある
1. 仮定1: 以下のように仮定する。このシリカ蒸着フィルムはカナダ政府である
2. 仮定1から、推論1: "このシリカ蒸着フィルムはカナダ政府であるか鉄道模型だ"が導かれる
3. 推論1と事実9から、推論2: "このシリカ蒸着フィルムは砲撃でない"が導かれる
4. 事実4から、推論3: "もし「このシリカ蒸着フィルムは砲撃でない」ということは正しいならば「本懐でなくてそれに真白い」ということは誤っている"が導かれる
5. 推論2と推論3から、推論4: "「このシリカ蒸着フィルムは本懐でないが真白い」ということは本当であるということはない"が導かれる
6. [仮定1]と推論4から、推論5: "もし仮にこのシリカ蒸着フィルムはカナダ政府なら「それは本懐でないが真白い」ということは間違いである"が導かれる
7. 推論5から、仮説が導かれる

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