「「そのなりさんはウイルであるしその上それはＯＤＢＣである」ということは間違いでない」ということは偽である
fact1: 仮に「「この心理的側面は読み易いがしかしそれは埋置しない」ということは成り立たない」ということは偽だということはないとしたらあの第一連隊は遜色無い fact2: もしも「埋置しない」ものがあるとすればその懐刀は面映ゆいししかも知り合いらしい fact3: もし仮になにがしかのものが遜色無いならばそれはＯＤＢＣである fact4: その気温分布は知り合いらしいということはない fact5: その気温分布は咀嚼である fact6: あの第一連隊は混入し易い fact7: あの第一連隊は読み易い fact8: もし「「咀嚼でなくてしかもウイルでない」ということは成り立たない」ものがあるならばあの懐刀はウイルだ fact9: もしもなんらかの物はＯＤＢＣでないとしたら「それは咀嚼でないしさらにウイルでない」ということは成り立たない fact10: そのなりさんは拝跪しないけれどそれは行き来する fact11: 仮にその気温分布が面映ゆかないならばあのなりさんはウイルである fact12: もしなにがしかの物は行き来しないとすれば「読み易いし埋置しない」ということは成り立たない fact13: 「その気温分布はＯＤＢＣでない」ということは真実である fact14: 知り合いらしい物は賢しない fact15: 「仮にこの心理的側面が受け入れ難くてまたそれが拝跪するとしたらこの心理的側面は行き来しない」ということは事実と異なるということはない fact16: もしも何らかの物は知り合いらしくないなら「ウイルであるし加えてＯＤＢＣである」ということは間違っている fact17: もしも「あの第一連隊は遜色無い」ということは間違いでないとすればその気温分布は面映ゆかないかそれは咀嚼であるかまたはどちらもである fact18: 「その気温分布は遜色無くないけどそれは読み易い」ということは嘘である fact19: そのなりさんは拝跪しないがしかしそれは行き来するならばそれは埋置しない fact20: もし仮にその気温分布は知り合いらしくないがしかし咀嚼なら面映ゆかない fact21: もし仮にあの第一連隊が読み易いならばそのなりさんは遜色無い
fact4 & fact5 -> int1: その気温分布は知り合いらしくない一方でそれは咀嚼だ; int1 & fact20 -> int2: その気温分布は面映ゆかない; int2 & fact11 -> int3: そのなりさんはウイルである; fact21 & fact7 -> int4: そのなりさんは遜色無い; fact3 -> int5: 仮にそのなりさんが遜色無いとすればＯＤＢＣである; int4 & int5 -> int6: そのなりさんはＯＤＢＣである; int3 & int6 -> hypothesis;
「そのなりさんはウイルであるしそれはＯＤＢＣである」ということは間違っている
fact22 -> int7: 「もしそのなりさんは知り合いらしくないならば「「そのなりさんはウイルであるし加えてＯＤＢＣだ」ということは誤っている」ということは成り立つ」ということは成り立つ; fact23 -> int8: もしもこの心理的側面は行き来しないならば「それは読み易いがしかし埋置しない」ということは事実でない;
$facts$ = fact1: 仮に「「この心理的側面は読み易いがしかしそれは埋置しない」ということは成り立たない」ということは偽だということはないとしたらあの第一連隊は遜色無い fact2: もしも「埋置しない」ものがあるとすればその懐刀は面映ゆいししかも知り合いらしい fact3: もし仮になにがしかのものが遜色無いならばそれはＯＤＢＣである fact4: その気温分布は知り合いらしいということはない fact5: その気温分布は咀嚼である fact6: あの第一連隊は混入し易い fact7: あの第一連隊は読み易い fact8: もし「「咀嚼でなくてしかもウイルでない」ということは成り立たない」ものがあるならばあの懐刀はウイルだ fact9: もしもなんらかの物はＯＤＢＣでないとしたら「それは咀嚼でないしさらにウイルでない」ということは成り立たない fact10: そのなりさんは拝跪しないけれどそれは行き来する fact11: 仮にその気温分布が面映ゆかないならばあのなりさんはウイルである fact12: もしなにがしかの物は行き来しないとすれば「読み易いし埋置しない」ということは成り立たない fact13: 「その気温分布はＯＤＢＣでない」ということは真実である fact14: 知り合いらしい物は賢しない fact15: 「仮にこの心理的側面が受け入れ難くてまたそれが拝跪するとしたらこの心理的側面は行き来しない」ということは事実と異なるということはない fact16: もしも何らかの物は知り合いらしくないなら「ウイルであるし加えてＯＤＢＣである」ということは間違っている fact17: もしも「あの第一連隊は遜色無い」ということは間違いでないとすればその気温分布は面映ゆかないかそれは咀嚼であるかまたはどちらもである fact18: 「その気温分布は遜色無くないけどそれは読み易い」ということは嘘である fact19: そのなりさんは拝跪しないがしかしそれは行き来するならばそれは埋置しない fact20: もし仮にその気温分布は知り合いらしくないがしかし咀嚼なら面映ゆかない fact21: もし仮にあの第一連隊が読み易いならばそのなりさんは遜色無い ; $hypothesis$ = 「「そのなりさんはウイルであるしその上それはＯＤＢＣである」ということは間違いでない」ということは偽である ; $proof$ = 
fact4 & fact5 -> int1: その気温分布は知り合いらしくない一方でそれは咀嚼だ; int1 & fact20 -> int2: その気温分布は面映ゆかない; int2 & fact11 -> int3: そのなりさんはウイルである; fact21 & fact7 -> int4: そのなりさんは遜色無い; fact3 -> int5: 仮にそのなりさんが遜色無いとすればＯＤＢＣである; int4 & int5 -> int6: そのなりさんはＯＤＢＣである; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「「この心理的側面は読み易いがしかしそれは埋置しない」ということは成り立たない」ということは偽だということはないとしたらあの第一連隊は遜色無い
事実2: もしも「埋置しない」ものがあるとすればその懐刀は面映ゆいししかも知り合いらしい
事実3: もし仮になにがしかのものが遜色無いならばそれはＯＤＢＣである
事実4: その気温分布は知り合いらしいということはない
事実5: その気温分布は咀嚼である
事実6: あの第一連隊は混入し易い
事実7: あの第一連隊は読み易い
事実8: もし「「咀嚼でなくてしかもウイルでない」ということは成り立たない」ものがあるならばあの懐刀はウイルだ
事実9: もしもなんらかの物はＯＤＢＣでないとしたら「それは咀嚼でないしさらにウイルでない」ということは成り立たない
事実10: そのなりさんは拝跪しないけれどそれは行き来する
事実11: 仮にその気温分布が面映ゆかないならばあのなりさんはウイルである
事実12: もしなにがしかの物は行き来しないとすれば「読み易いし埋置しない」ということは成り立たない
事実13: 「その気温分布はＯＤＢＣでない」ということは真実である
事実14: 知り合いらしい物は賢しない
事実15: 「仮にこの心理的側面が受け入れ難くてまたそれが拝跪するとしたらこの心理的側面は行き来しない」ということは事実と異なるということはない
事実16: もしも何らかの物は知り合いらしくないなら「ウイルであるし加えてＯＤＢＣである」ということは間違っている
事実17: もしも「あの第一連隊は遜色無い」ということは間違いでないとすればその気温分布は面映ゆかないかそれは咀嚼であるかまたはどちらもである
事実18: 「その気温分布は遜色無くないけどそれは読み易い」ということは嘘である
事実19: そのなりさんは拝跪しないがしかしそれは行き来するならばそれは埋置しない
事実20: もし仮にその気温分布は知り合いらしくないがしかし咀嚼なら面映ゆかない
事実21: もし仮にあの第一連隊が読み易いならばそのなりさんは遜色無い

仮説: 「「そのなりさんはウイルであるしその上それはＯＤＢＣである」ということは間違いでない」ということは偽である
1. 事実4と事実5から、推論1: "その気温分布は知り合いらしくない一方でそれは咀嚼だ"が導かれる
2. 推論1と事実20から、推論2: "その気温分布は面映ゆかない"が導かれる
3. 推論2と事実11から、推論3: "そのなりさんはウイルである"が導かれる
4. 事実21と事実7から、推論4: "そのなりさんは遜色無い"が導かれる
5. 事実3から、推論5: "仮にそのなりさんが遜色無いとすればＯＤＢＣである"が導かれる
6. 推論4と推論5から、推論6: "そのなりさんはＯＤＢＣである"が導かれる
7. 推論3と推論6から、仮説が否定される

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