あの隻数は恐れ多くない
fact1: もし仮にあの各レベルが有るらしくないけれど恐れ多いならばあの隻数は恐れ多くない fact2: 有るらしくないししかも苦い物はある fact3: あの各レベルは有るらしくない fact4: 仮にこのチベット政府が漂流し始めるということはないならばそれは苦いし更にそれは恐れ多い fact5: 仮に「「有るらしいということはなくてしかも苦い」ということは成り立たない」ものがあるとすればあのチベット政府は騒ぎ始める fact6: このチベット政府は有るらしくない fact7: 何らかの物は騒ぎ始めない一方で苦い fact8: あの各レベルは苦くない fact9: もし仮に「有るらしい」物があるならばあのチベット政府は騒ぎ始める fact10: もしも恐れ多いものがあるならあの隻数は有るらしい fact11: もしも「侵襲性な」物はあるとしたら「この黄体ホルモンは恐れ多い」ということは成り立つ fact12: 「このチベット政府は痛ましいししかも苦い」ということは事実と異なる fact13: もしもこのチベット政府が騒ぎ始めるならあの隻数は恐れ多い fact14: 「あの各レベルは騒ぎ始める」ということは事実であるならこのピストルは騒ぎ始める
void -> assump1: 以下のように仮定する。あの各レベルは有るらしくない一方で苦い; assump1 -> int1: あの各レベルは苦い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの各レベルは有るらしくないけれど苦い」ということは誤りだ; int3 -> int4: 「「有るらしいということはないしその上苦い」ということは成り立たない」物はある; int4 & fact5 -> int5: このチベット政府は騒ぎ始める; int5 & fact13 -> hypothesis;
このピストルは騒ぎ始める
$facts$ = fact1: もし仮にあの各レベルが有るらしくないけれど恐れ多いならばあの隻数は恐れ多くない fact2: 有るらしくないししかも苦い物はある fact3: あの各レベルは有るらしくない fact4: 仮にこのチベット政府が漂流し始めるということはないならばそれは苦いし更にそれは恐れ多い fact5: 仮に「「有るらしいということはなくてしかも苦い」ということは成り立たない」ものがあるとすればあのチベット政府は騒ぎ始める fact6: このチベット政府は有るらしくない fact7: 何らかの物は騒ぎ始めない一方で苦い fact8: あの各レベルは苦くない fact9: もし仮に「有るらしい」物があるならばあのチベット政府は騒ぎ始める fact10: もしも恐れ多いものがあるならあの隻数は有るらしい fact11: もしも「侵襲性な」物はあるとしたら「この黄体ホルモンは恐れ多い」ということは成り立つ fact12: 「このチベット政府は痛ましいししかも苦い」ということは事実と異なる fact13: もしもこのチベット政府が騒ぎ始めるならあの隻数は恐れ多い fact14: 「あの各レベルは騒ぎ始める」ということは事実であるならこのピストルは騒ぎ始める ; $hypothesis$ = あの隻数は恐れ多くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの各レベルは有るらしくない一方で苦い; assump1 -> int1: あの各レベルは苦い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの各レベルは有るらしくないけれど苦い」ということは誤りだ; int3 -> int4: 「「有るらしいということはないしその上苦い」ということは成り立たない」物はある; int4 & fact5 -> int5: このチベット政府は騒ぎ始める; int5 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にあの各レベルが有るらしくないけれど恐れ多いならばあの隻数は恐れ多くない
事実2: 有るらしくないししかも苦い物はある
事実3: あの各レベルは有るらしくない
事実4: 仮にこのチベット政府が漂流し始めるということはないならばそれは苦いし更にそれは恐れ多い
事実5: 仮に「「有るらしいということはなくてしかも苦い」ということは成り立たない」ものがあるとすればあのチベット政府は騒ぎ始める
事実6: このチベット政府は有るらしくない
事実7: 何らかの物は騒ぎ始めない一方で苦い
事実8: あの各レベルは苦くない
事実9: もし仮に「有るらしい」物があるならばあのチベット政府は騒ぎ始める
事実10: もしも恐れ多いものがあるならあの隻数は有るらしい
事実11: もしも「侵襲性な」物はあるとしたら「この黄体ホルモンは恐れ多い」ということは成り立つ
事実12: 「このチベット政府は痛ましいししかも苦い」ということは事実と異なる
事実13: もしもこのチベット政府が騒ぎ始めるならあの隻数は恐れ多い
事実14: 「あの各レベルは騒ぎ始める」ということは事実であるならこのピストルは騒ぎ始める

仮説: あの隻数は恐れ多くない
1. 仮定1: 以下のように仮定する。あの各レベルは有るらしくない一方で苦い
2. 仮定1から、推論1: "あの各レベルは苦い"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの各レベルは有るらしくないけれど苦い」ということは誤りだ"が導かれる
5. 推論3から、推論4: "「「有るらしいということはないしその上苦い」ということは成り立たない」物はある"が導かれる
6. 推論4と事実5から、推論5: "このチベット政府は騒ぎ始める"が導かれる
7. 推論5と事実13から、仮説が否定される

よって、仮説が否定されました。