その堅雪は東・西であるかあるいは歴史発展だ
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: もしもこの任意調査はシャオジェならば「このメソッド呼び出しはがさがさしない」ということは本当である
void -> assump1: 以下のように仮定する。その堅雪は編地である; fact19 & assump1 -> int1: その堅雪は受け取り勘定回転率であるし編地だ; fact24 -> int2: もし仮にその堅雪が受け取り勘定回転率であるしさらに編地であるとしたらそれはすばしっこくない; int1 & int2 -> int3: 「その堅雪はすばしっこい」ということは嘘である; fact25 -> int4: 「その堅雪がすばしっこくないならその堅雪は信頼し切るかまたは抵当だ」ということは正しい; int3 & int4 -> int5: その堅雪は信頼し切るかあるいは抵当である; int5 & fact15 & fact9 -> int6: その皮膚テストは叩き払う; int6 & fact8 -> int7: この二層式はがさがさする; fact26 & fact1 -> int8: この二層式はがさがさしない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その堅雪は編地でない; fact4 -> int11: 仮にその堅雪は編地であるということはないなら「東・西であるかまたは歴史発展であるかもしくは両方ともである」ということは成り立たない; int10 & int11 -> hypothesis;
その堅雪は東・西であるかまたは歴史発展だ
fact34 -> int12: 仮に「あの鬼神力は古めかしくないしその上叩き払わない」ということは事実と異なるなら「それは叩き払う」ということは事実だ; fact28 -> int13: この任意調査はがさがさするかあるいはシャオジェである; int13 & fact33 & fact35 -> int14: このメソッド呼び出しはがさがさしない; fact30 & int14 -> int15: 「あの鬼神力は古めかしいということはないし更に叩き払わない」ということは間違っている; int12 & int15 -> int16: あの鬼神力は叩き払う; fact31 & int16 -> int17: このディナーショーは信頼し切らない; int17 -> int18: 「信頼し切らない」ものはある; int18 & fact29 -> int19: この二層式はすばしっこいし抵当である; int19 -> int20: この二層式はすばしっこい; fact32 & int20 -> int21: 「その皮膚テストは受け取り勘定回転率である一方でそれは編地だということはない」ということは事実と異なる; int21 -> int22: 「「「受け取り勘定回転率であるしおまけに編地でない」ということは事実だ」ということは事実と異なる」ものはある;
$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: もしもこの任意調査はシャオジェならば「このメソッド呼び出しはがさがさしない」ということは本当である ; $hypothesis$ = その堅雪は東・西であるかあるいは歴史発展だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その堅雪は編地である; fact19 & assump1 -> int1: その堅雪は受け取り勘定回転率であるし編地だ; fact24 -> int2: もし仮にその堅雪が受け取り勘定回転率であるしさらに編地であるとしたらそれはすばしっこくない; int1 & int2 -> int3: 「その堅雪はすばしっこい」ということは嘘である; fact25 -> int4: 「その堅雪がすばしっこくないならその堅雪は信頼し切るかまたは抵当だ」ということは正しい; int3 & int4 -> int5: その堅雪は信頼し切るかあるいは抵当である; int5 & fact15 & fact9 -> int6: その皮膚テストは叩き払う; int6 & fact8 -> int7: この二層式はがさがさする; fact26 & fact1 -> int8: この二層式はがさがさしない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その堅雪は編地でない; fact4 -> int11: 仮にその堅雪は編地であるということはないなら「東・西であるかまたは歴史発展であるかもしくは両方ともである」ということは成り立たない; int10 & int11 -> hypothesis; __DISPROVED__
事実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: もしもこの任意調査はシャオジェならば「このメソッド呼び出しはがさがさしない」ということは本当である

仮説: その堅雪は東・西であるかあるいは歴史発展だ
1. 仮定1: 以下のように仮定する。その堅雪は編地である
2. 事実19と仮定1から、推論1: "その堅雪は受け取り勘定回転率であるし編地だ"が導かれる
3. 事実24から、推論2: "もし仮にその堅雪が受け取り勘定回転率であるしさらに編地であるとしたらそれはすばしっこくない"が導かれる
4. 推論1と推論2から、推論3: "「その堅雪はすばしっこい」ということは嘘である"が導かれる
5. 事実25から、推論4: "「その堅雪がすばしっこくないならその堅雪は信頼し切るかまたは抵当だ」ということは正しい"が導かれる
6. 推論3と推論4から、推論5: "その堅雪は信頼し切るかあるいは抵当である"が導かれる
7. 推論5と事実15と事実9から、推論6: "その皮膚テストは叩き払う"が導かれる
8. 推論6と事実8から、推論7: "この二層式はがさがさする"が導かれる
9. 事実26と事実1から、推論8: "この二層式はがさがさしない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その堅雪は編地でない"が導かれる
12. 事実4から、推論11: "仮にその堅雪は編地であるということはないなら「東・西であるかまたは歴史発展であるかもしくは両方ともである」ということは成り立たない"が導かれる
13. 推論10と推論11から、仮説が否定される

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