もし仮にそのカナダ側が身軽くないとするとこのヘッダは通貨統合でないかあるいはそれは時報でないかもしくは両方ともである
fact1: 仮に「このヘッダは通う」ということは成り立つとすればあのカナダ側は時報でない一方で通貨統合だ fact2: このヘッダが約二万八千人でないならそのカナダ側は通貨統合でないかあるいは時報であるかあるいはどちらもである fact3: もしもこのヘッダは通わないならば「そのカナダ側は時報でないかまたはそれは通貨統合であるか両方だ」ということは成り立つ fact4: このヘッダは通わない一方で時報だ fact5: 仮に「このヘッダは通貨統合でないか時報であるかまたは両方だ」ということは誤っているとしたら約二万八千人である fact6: この博物は約二万八千人である fact7: このヘッダは時報である fact8: このシーフードカレーは時報だ fact9: もし仮に「そのカナダ側は身軽いかまたはそれは通貨統合でない」ということは間違っているとすればそれは約二万八千人である fact10: このヘッダが身軽いということはないならそのカナダ側は時報であるということはないかそれは約二万八千人である fact11: その住宅用は身軽い fact12: もしこのヘッダが通わないかそれは約二万八千人でないとしたらそれは時報だ fact13: もし仮にそのカナダ側は通貨統合だということはないかあるいは身軽くないかもしくは両方であるとするとそれは通う fact14: このヘッダは通貨統合でないかもしくはそれは時報だ fact15: あの終了マーカーは時報である fact16: そのカナダ側が身軽いならこのヘッダは通貨統合でないかもしくは時報でないかどちらもである fact17: もし仮にこのヘッダが約二万八千人であるとしたらそのカナダ側は通うということはないがしかしそれは身軽い fact18: そのカナダ側は身軽くないがしかし時報だ fact19: そのカナダ側が通うならこのヘッダは身軽くない fact20: 仮に「このヘッダは通貨統合であるということはないかまたは時報でないか両方である」ということは誤りだとするとそれは約二万八千人だ
void -> assump2: 以下のように仮定する。「このヘッダは通貨統合でないかあるいはそれは時報でない」ということは成り立たない; fact20 & assump2 -> int1: このヘッダは約二万八千人だ; int1 & fact17 -> int2: そのカナダ側は通うということはない一方で身軽い; int2 -> int3: そのカナダ側は身軽い; void -> assump1: 以下のように仮定する。そのカナダ側は身軽いということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: このヘッダは通貨統合でないかもしくは時報でないかまたはどちらもだ; [assump1] & int5 -> hypothesis;
このヘッダは身軽くない
$facts$ = fact1: 仮に「このヘッダは通う」ということは成り立つとすればあのカナダ側は時報でない一方で通貨統合だ fact2: このヘッダが約二万八千人でないならそのカナダ側は通貨統合でないかあるいは時報であるかあるいはどちらもである fact3: もしもこのヘッダは通わないならば「そのカナダ側は時報でないかまたはそれは通貨統合であるか両方だ」ということは成り立つ fact4: このヘッダは通わない一方で時報だ fact5: 仮に「このヘッダは通貨統合でないか時報であるかまたは両方だ」ということは誤っているとしたら約二万八千人である fact6: この博物は約二万八千人である fact7: このヘッダは時報である fact8: このシーフードカレーは時報だ fact9: もし仮に「そのカナダ側は身軽いかまたはそれは通貨統合でない」ということは間違っているとすればそれは約二万八千人である fact10: このヘッダが身軽いということはないならそのカナダ側は時報であるということはないかそれは約二万八千人である fact11: その住宅用は身軽い fact12: もしこのヘッダが通わないかそれは約二万八千人でないとしたらそれは時報だ fact13: もし仮にそのカナダ側は通貨統合だということはないかあるいは身軽くないかもしくは両方であるとするとそれは通う fact14: このヘッダは通貨統合でないかもしくはそれは時報だ fact15: あの終了マーカーは時報である fact16: そのカナダ側が身軽いならこのヘッダは通貨統合でないかもしくは時報でないかどちらもである fact17: もし仮にこのヘッダが約二万八千人であるとしたらそのカナダ側は通うということはないがしかしそれは身軽い fact18: そのカナダ側は身軽くないがしかし時報だ fact19: そのカナダ側が通うならこのヘッダは身軽くない fact20: 仮に「このヘッダは通貨統合であるということはないかまたは時報でないか両方である」ということは誤りだとするとそれは約二万八千人だ ; $hypothesis$ = もし仮にそのカナダ側が身軽くないとするとこのヘッダは通貨統合でないかあるいはそれは時報でないかもしくは両方ともである ; $proof$ = 
void -> assump2: 以下のように仮定する。「このヘッダは通貨統合でないかあるいはそれは時報でない」ということは成り立たない; fact20 & assump2 -> int1: このヘッダは約二万八千人だ; int1 & fact17 -> int2: そのカナダ側は通うということはない一方で身軽い; int2 -> int3: そのカナダ側は身軽い; void -> assump1: 以下のように仮定する。そのカナダ側は身軽いということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: このヘッダは通貨統合でないかもしくは時報でないかまたはどちらもだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「このヘッダは通う」ということは成り立つとすればあのカナダ側は時報でない一方で通貨統合だ
事実2: このヘッダが約二万八千人でないならそのカナダ側は通貨統合でないかあるいは時報であるかあるいはどちらもである
事実3: もしもこのヘッダは通わないならば「そのカナダ側は時報でないかまたはそれは通貨統合であるか両方だ」ということは成り立つ
事実4: このヘッダは通わない一方で時報だ
事実5: 仮に「このヘッダは通貨統合でないか時報であるかまたは両方だ」ということは誤っているとしたら約二万八千人である
事実6: この博物は約二万八千人である
事実7: このヘッダは時報である
事実8: このシーフードカレーは時報だ
事実9: もし仮に「そのカナダ側は身軽いかまたはそれは通貨統合でない」ということは間違っているとすればそれは約二万八千人である
事実10: このヘッダが身軽いということはないならそのカナダ側は時報であるということはないかそれは約二万八千人である
事実11: その住宅用は身軽い
事実12: もしこのヘッダが通わないかそれは約二万八千人でないとしたらそれは時報だ
事実13: もし仮にそのカナダ側は通貨統合だということはないかあるいは身軽くないかもしくは両方であるとするとそれは通う
事実14: このヘッダは通貨統合でないかもしくはそれは時報だ
事実15: あの終了マーカーは時報である
事実16: そのカナダ側が身軽いならこのヘッダは通貨統合でないかもしくは時報でないかどちらもである
事実17: もし仮にこのヘッダが約二万八千人であるとしたらそのカナダ側は通うということはないがしかしそれは身軽い
事実18: そのカナダ側は身軽くないがしかし時報だ
事実19: そのカナダ側が通うならこのヘッダは身軽くない
事実20: 仮に「このヘッダは通貨統合であるということはないかまたは時報でないか両方である」ということは誤りだとするとそれは約二万八千人だ

仮説: もし仮にそのカナダ側が身軽くないとするとこのヘッダは通貨統合でないかあるいはそれは時報でないかもしくは両方ともである
1. 仮定2: 以下のように仮定する。「このヘッダは通貨統合でないかあるいはそれは時報でない」ということは成り立たない
2. 事実20と仮定2から、推論1: "このヘッダは約二万八千人だ"が導かれる
3. 推論1と事実17から、推論2: "そのカナダ側は通うということはない一方で身軽い"が導かれる
4. 推論2から、推論3: "そのカナダ側は身軽い"が導かれる
5. 仮定1: 以下のように仮定する。そのカナダ側は身軽いということはない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "このヘッダは通貨統合でないかもしくは時報でないかまたはどちらもだ"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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