「この糸うねりモデルは通り易くないけどそれは掬い取る」ということは正しくない
fact1: あの国号は狙い分けないか掬い取らないか両方ともだ fact2: 「仮にあの国号は諳んぜないとすると「あの国号は冷え易くないけれど指定出来る」ということは成り立つということはない」ということは成り立つ fact3: この糸うねりモデルは東大法卒でない fact4: この札所は冷え易い fact5: 仮にあの国号が狙い分けるし東大法卒だとしたらこのパッセージは東大法卒でない fact6: 「役らしいものは諳んぜない」ということは正しい fact7: このパッセージは示し合わせるなら「あの国号は示し合わせる」ということは正しい fact8: その指定自立支援医療機関は掬い取らない fact9: もし仮になんらかのものが禁止するとしたら通り易くないししかもそれは掬い取る fact10: 仮にこの札所が指定出来ないとすればあの形而上学的悪は東大法卒だ fact11: もし仮にあの国号が諳んずるとしたらこのパッセージは諳んずる fact12: もしもあの形而上学的悪が指定出来ないならばこの札所は指定出来る fact13: 「通り易い」物はある fact14: 「このパッセージは示し合わせる」ということは事実である fact15: とあるものは禁止する fact16: その他章は諳んずる fact17: もし仮にあの国号は掬い取らないとすると「この糸うねりモデルは通り易くないけれど掬い取る」ということは成り立たない fact18: 「このパッセージは冷え易いがしかし狙い分けない」ということは間違っている fact19: 「あの国号は掬い取るしおまけにそれは諳んずる」ということは嘘である fact20: あの御局様は冷え易い fact21: 「仮に「禁止する」ものはあるとすれば「このパッセージは禁止しなくて更にそれは冷え易いということはない」ということは誤っている」ということは本当である fact22: もし仮に「このパッセージは禁止しないし冷え易くない」ということは確かであるということはないならばあの形而上学的悪は禁止する fact23: あの国号が示し合わせればそれは役らしい fact24: 仮にこの札所が東大法卒でないとするとあの形而上学的悪は東大法卒である fact25: あの形而上学的悪は諳んずる fact26: あの形而上学的悪が狙い分けるし加えて禁止するならばあの国号は掬い取らない fact27: 仮にこの札所が諳んずるならそれは指定出来ないかまたはそれは東大法卒でないか両方だ fact28: とあるものが狙い分けないとすればそれは東大法卒でない fact29: この札所は諳んずる
fact28 -> int1: 「あの形而上学的悪が狙い分けないとするとあの形而上学的悪は東大法卒でない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの形而上学的悪は狙い分けない; int1 & assump1 -> int2: あの形而上学的悪は東大法卒でない; fact29 & fact27 -> int3: この札所は指定出来ないかまたは東大法卒でないかあるいはどちらもだ; int3 & fact10 & fact24 -> int4: あの形而上学的悪は東大法卒である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの形而上学的悪は狙い分ける; fact15 & fact21 -> int7: 「このパッセージは禁止しなくておまけにそれは冷え易くない」ということは嘘だ; int7 & fact22 -> int8: あの形而上学的悪は禁止する; int6 & int8 -> int9: 「あの形而上学的悪は狙い分けるし禁止する」ということは確かである; int9 & fact26 -> int10: あの国号は掬い取るということはない; int10 & fact17 -> hypothesis;
この糸うねりモデルは通り易いということはないがしかしそれは掬い取る
fact35 -> int11: もしこの糸うねりモデルが禁止するならそれは通り易くないけど掬い取る; fact32 -> int12: もし仮にあの国号が役らしいとしたら諳んぜない; fact33 & fact30 -> int13: あの国号は示し合わせる; fact34 & int13 -> int14: あの国号は役らしい; int12 & int14 -> int15: あの国号は諳んぜない; fact31 & int15 -> int16: 「あの国号は冷え易くないけどそれは指定出来る」ということは偽だ;
$facts$ = fact1: あの国号は狙い分けないか掬い取らないか両方ともだ fact2: 「仮にあの国号は諳んぜないとすると「あの国号は冷え易くないけれど指定出来る」ということは成り立つということはない」ということは成り立つ fact3: この糸うねりモデルは東大法卒でない fact4: この札所は冷え易い fact5: 仮にあの国号が狙い分けるし東大法卒だとしたらこのパッセージは東大法卒でない fact6: 「役らしいものは諳んぜない」ということは正しい fact7: このパッセージは示し合わせるなら「あの国号は示し合わせる」ということは正しい fact8: その指定自立支援医療機関は掬い取らない fact9: もし仮になんらかのものが禁止するとしたら通り易くないししかもそれは掬い取る fact10: 仮にこの札所が指定出来ないとすればあの形而上学的悪は東大法卒だ fact11: もし仮にあの国号が諳んずるとしたらこのパッセージは諳んずる fact12: もしもあの形而上学的悪が指定出来ないならばこの札所は指定出来る fact13: 「通り易い」物はある fact14: 「このパッセージは示し合わせる」ということは事実である fact15: とあるものは禁止する fact16: その他章は諳んずる fact17: もし仮にあの国号は掬い取らないとすると「この糸うねりモデルは通り易くないけれど掬い取る」ということは成り立たない fact18: 「このパッセージは冷え易いがしかし狙い分けない」ということは間違っている fact19: 「あの国号は掬い取るしおまけにそれは諳んずる」ということは嘘である fact20: あの御局様は冷え易い fact21: 「仮に「禁止する」ものはあるとすれば「このパッセージは禁止しなくて更にそれは冷え易いということはない」ということは誤っている」ということは本当である fact22: もし仮に「このパッセージは禁止しないし冷え易くない」ということは確かであるということはないならばあの形而上学的悪は禁止する fact23: あの国号が示し合わせればそれは役らしい fact24: 仮にこの札所が東大法卒でないとするとあの形而上学的悪は東大法卒である fact25: あの形而上学的悪は諳んずる fact26: あの形而上学的悪が狙い分けるし加えて禁止するならばあの国号は掬い取らない fact27: 仮にこの札所が諳んずるならそれは指定出来ないかまたはそれは東大法卒でないか両方だ fact28: とあるものが狙い分けないとすればそれは東大法卒でない fact29: この札所は諳んずる ; $hypothesis$ = 「この糸うねりモデルは通り易くないけどそれは掬い取る」ということは正しくない ; $proof$ = 
fact28 -> int1: 「あの形而上学的悪が狙い分けないとするとあの形而上学的悪は東大法卒でない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの形而上学的悪は狙い分けない; int1 & assump1 -> int2: あの形而上学的悪は東大法卒でない; fact29 & fact27 -> int3: この札所は指定出来ないかまたは東大法卒でないかあるいはどちらもだ; int3 & fact10 & fact24 -> int4: あの形而上学的悪は東大法卒である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの形而上学的悪は狙い分ける; fact15 & fact21 -> int7: 「このパッセージは禁止しなくておまけにそれは冷え易くない」ということは嘘だ; int7 & fact22 -> int8: あの形而上学的悪は禁止する; int6 & int8 -> int9: 「あの形而上学的悪は狙い分けるし禁止する」ということは確かである; int9 & fact26 -> int10: あの国号は掬い取るということはない; int10 & fact17 -> hypothesis; __PROVED__
事実1: あの国号は狙い分けないか掬い取らないか両方ともだ
事実2: 「仮にあの国号は諳んぜないとすると「あの国号は冷え易くないけれど指定出来る」ということは成り立つということはない」ということは成り立つ
事実3: この糸うねりモデルは東大法卒でない
事実4: この札所は冷え易い
事実5: 仮にあの国号が狙い分けるし東大法卒だとしたらこのパッセージは東大法卒でない
事実6: 「役らしいものは諳んぜない」ということは正しい
事実7: このパッセージは示し合わせるなら「あの国号は示し合わせる」ということは正しい
事実8: その指定自立支援医療機関は掬い取らない
事実9: もし仮になんらかのものが禁止するとしたら通り易くないししかもそれは掬い取る
事実10: 仮にこの札所が指定出来ないとすればあの形而上学的悪は東大法卒だ
事実11: もし仮にあの国号が諳んずるとしたらこのパッセージは諳んずる
事実12: もしもあの形而上学的悪が指定出来ないならばこの札所は指定出来る
事実13: 「通り易い」物はある
事実14: 「このパッセージは示し合わせる」ということは事実である
事実15: とあるものは禁止する
事実16: その他章は諳んずる
事実17: もし仮にあの国号は掬い取らないとすると「この糸うねりモデルは通り易くないけれど掬い取る」ということは成り立たない
事実18: 「このパッセージは冷え易いがしかし狙い分けない」ということは間違っている
事実19: 「あの国号は掬い取るしおまけにそれは諳んずる」ということは嘘である
事実20: あの御局様は冷え易い
事実21: 「仮に「禁止する」ものはあるとすれば「このパッセージは禁止しなくて更にそれは冷え易いということはない」ということは誤っている」ということは本当である
事実22: もし仮に「このパッセージは禁止しないし冷え易くない」ということは確かであるということはないならばあの形而上学的悪は禁止する
事実23: あの国号が示し合わせればそれは役らしい
事実24: 仮にこの札所が東大法卒でないとするとあの形而上学的悪は東大法卒である
事実25: あの形而上学的悪は諳んずる
事実26: あの形而上学的悪が狙い分けるし加えて禁止するならばあの国号は掬い取らない
事実27: 仮にこの札所が諳んずるならそれは指定出来ないかまたはそれは東大法卒でないか両方だ
事実28: とあるものが狙い分けないとすればそれは東大法卒でない
事実29: この札所は諳んずる

仮説: 「この糸うねりモデルは通り易くないけどそれは掬い取る」ということは正しくない
1. 事実28から、推論1: "「あの形而上学的悪が狙い分けないとするとあの形而上学的悪は東大法卒でない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの形而上学的悪は狙い分けない
3. 推論1と仮定1から、推論2: "あの形而上学的悪は東大法卒でない"が導かれる
4. 事実29と事実27から、推論3: "この札所は指定出来ないかまたは東大法卒でないかあるいはどちらもだ"が導かれる
5. 推論3と事実10と事実24から、推論4: "あの形而上学的悪は東大法卒である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの形而上学的悪は狙い分ける"が導かれる
8. 事実15と事実21から、推論7: "「このパッセージは禁止しなくておまけにそれは冷え易くない」ということは嘘だ"が導かれる
9. 推論7と事実22から、推論8: "あの形而上学的悪は禁止する"が導かれる
10. 推論6と推論8から、推論9: "「あの形而上学的悪は狙い分けるし禁止する」ということは確かである"が導かれる
11. 推論9と事実26から、推論10: "あの国号は掬い取るということはない"が導かれる
12. 推論10と事実17から、仮説が導かれる

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