「「主要構造部であるならば脳脊髄液検査だということはない」物はある」ということは確かでない
fact1: もしもこの知識階級が成され易いしその上悔しいとすると脳脊髄液検査だということはない fact2: もしも「第三刻な」ものがあるとしたらあの死装束は経脈だ fact3: その法人設立は情報共有でない fact4: 仮に「脳脊髄液検査でないしかつ経脈でない」ものがあればその学年主任は第三刻でない fact5: 「もし主要構造部だとしたら脳脊髄液検査な」ものはある fact6: なにかは第三刻である fact7: 何らかのものは第三刻でないとすればそれはうら若くてそれはＳＩデである fact8: もしも経脈は脳脊髄液検査であるならば「それは主要構造部でない」ということは成り立つ fact9: 仮に「主要構造部でない」物があるならばあの死装束は脳脊髄液検査でなくてそれに経脈でない fact10: もし仮にあの死装束が経脈ならば畳まない fact11: もしもとある物は印象深くないとすれば「主要構造部でそれに白々しい」ということは誤りである fact12: あの死装束は勝ち得ない fact13: あの死装束は身業である fact14: もし経脈は脳脊髄液検査だとすると「主要構造部である」ということは事実である fact15: もしその法人設立は情報共有でないとすれば「それはシングルベッドで印象深い」ということは間違いだ fact16: もしも「その法人設立はシングルベッドであるし印象深い」ということは間違っているとするとその朝鮮語は印象深くない
fact6 & fact2 -> int1: あの死装束は経脈である; void -> assump1: 以下のように仮定する。あの死装束は脳脊髄液検査だ; int1 & assump1 -> int2: あの死装束は経脈だしそれに脳脊髄液検査である; fact8 -> int3: もしもあの死装束が経脈で脳脊髄液検査だとしたら主要構造部でない; int2 & int3 -> int4: あの死装束は主要構造部でない; void -> assump2: 以下のように仮定する。あの死装束は主要構造部だ; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの死装束は脳脊髄液検査でない; [assump2] & int6 -> int7: 仮にあの死装束は主要構造部であるなら「それは脳脊髄液検査でない」ということは誤りでない; int7 -> hypothesis;
その学年主任はうら若くて更にＳＩデである
fact18 -> int8: 仮にその学年主任は第三刻でないならばうら若いしそれにＳＩデである; fact23 -> int9: もしもその朝鮮語は印象深いということはないとしたら「主要構造部でまた白々しい」ということは事実と異なる; fact21 & fact17 -> int10: 「「「その法人設立はシングルベッドでそれは印象深い」ということは成り立つ」ということは間違いだ」ということは真実だ; fact19 & int10 -> int11: その朝鮮語は印象深くない; int9 & int11 -> int12: 「その朝鮮語は主要構造部で白々しい」ということは成り立たない; int12 -> int13: 「「主要構造部だし白々しい」ということは間違っている」物はある;
$facts$ = fact1: もしもこの知識階級が成され易いしその上悔しいとすると脳脊髄液検査だということはない fact2: もしも「第三刻な」ものがあるとしたらあの死装束は経脈だ fact3: その法人設立は情報共有でない fact4: 仮に「脳脊髄液検査でないしかつ経脈でない」ものがあればその学年主任は第三刻でない fact5: 「もし主要構造部だとしたら脳脊髄液検査な」ものはある fact6: なにかは第三刻である fact7: 何らかのものは第三刻でないとすればそれはうら若くてそれはＳＩデである fact8: もしも経脈は脳脊髄液検査であるならば「それは主要構造部でない」ということは成り立つ fact9: 仮に「主要構造部でない」物があるならばあの死装束は脳脊髄液検査でなくてそれに経脈でない fact10: もし仮にあの死装束が経脈ならば畳まない fact11: もしもとある物は印象深くないとすれば「主要構造部でそれに白々しい」ということは誤りである fact12: あの死装束は勝ち得ない fact13: あの死装束は身業である fact14: もし経脈は脳脊髄液検査だとすると「主要構造部である」ということは事実である fact15: もしその法人設立は情報共有でないとすれば「それはシングルベッドで印象深い」ということは間違いだ fact16: もしも「その法人設立はシングルベッドであるし印象深い」ということは間違っているとするとその朝鮮語は印象深くない ; $hypothesis$ = 「「主要構造部であるならば脳脊髄液検査だということはない」物はある」ということは確かでない ; $proof$ = 
fact6 & fact2 -> int1: あの死装束は経脈である; void -> assump1: 以下のように仮定する。あの死装束は脳脊髄液検査だ; int1 & assump1 -> int2: あの死装束は経脈だしそれに脳脊髄液検査である; fact8 -> int3: もしもあの死装束が経脈で脳脊髄液検査だとしたら主要構造部でない; int2 & int3 -> int4: あの死装束は主要構造部でない; void -> assump2: 以下のように仮定する。あの死装束は主要構造部だ; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの死装束は脳脊髄液検査でない; [assump2] & int6 -> int7: 仮にあの死装束は主要構造部であるなら「それは脳脊髄液検査でない」ということは誤りでない; int7 -> hypothesis; __DISPROVED__
事実1: もしもこの知識階級が成され易いしその上悔しいとすると脳脊髄液検査だということはない
事実2: もしも「第三刻な」ものがあるとしたらあの死装束は経脈だ
事実3: その法人設立は情報共有でない
事実4: 仮に「脳脊髄液検査でないしかつ経脈でない」ものがあればその学年主任は第三刻でない
事実5: 「もし主要構造部だとしたら脳脊髄液検査な」ものはある
事実6: なにかは第三刻である
事実7: 何らかのものは第三刻でないとすればそれはうら若くてそれはＳＩデである
事実8: もしも経脈は脳脊髄液検査であるならば「それは主要構造部でない」ということは成り立つ
事実9: 仮に「主要構造部でない」物があるならばあの死装束は脳脊髄液検査でなくてそれに経脈でない
事実10: もし仮にあの死装束が経脈ならば畳まない
事実11: もしもとある物は印象深くないとすれば「主要構造部でそれに白々しい」ということは誤りである
事実12: あの死装束は勝ち得ない
事実13: あの死装束は身業である
事実14: もし経脈は脳脊髄液検査だとすると「主要構造部である」ということは事実である
事実15: もしその法人設立は情報共有でないとすれば「それはシングルベッドで印象深い」ということは間違いだ
事実16: もしも「その法人設立はシングルベッドであるし印象深い」ということは間違っているとするとその朝鮮語は印象深くない

仮説: 「「主要構造部であるならば脳脊髄液検査だということはない」物はある」ということは確かでない
1. 事実6と事実2から、推論1: "あの死装束は経脈である"が導かれる
2. 仮定1: 以下のように仮定する。あの死装束は脳脊髄液検査だ
3. 推論1と仮定1から、推論2: "あの死装束は経脈だしそれに脳脊髄液検査である"が導かれる
4. 事実8から、推論3: "もしもあの死装束が経脈で脳脊髄液検査だとしたら主要構造部でない"が導かれる
5. 推論2と推論3から、推論4: "あの死装束は主要構造部でない"が導かれる
6. 仮定2: 以下のように仮定する。あの死装束は主要構造部だ
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "あの死装束は脳脊髄液検査でない"が導かれる
9. [仮定2]と推論6から、推論7: "仮にあの死装束は主要構造部であるなら「それは脳脊髄液検査でない」ということは誤りでない"が導かれる
10. 推論7から、仮説が否定される

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