「この遊歩者はしょっぱい一方で財務書類でない」ということは真実でない
fact1: この遊歩者は性格であるけど分析・評価しない fact2: もし仮にこの練習テストはしょっぱいならば「財務書類である」ということは本当だ fact3: このパウダータイプは体系化する fact4: もしもこの遊歩者が体系化するとするとこの語法は体系化するけどそれはしょっぱくない fact5: この遊歩者はしょっぱい fact6: この練習テストは体系化する fact7: もしもこの語法がしょっぱいとしたらそれは遅行する fact8: この練習テストが財務書類だとすればしょっぱい fact9: そのアデノシンは遅行する fact10: もしこの遊歩者が遅行すればそれは財務書類だ fact11: もしこの語法が体系化すればこの練習テストはしょっぱい fact12: もしもこの練習テストがしょっぱいならばこの遊歩者はしょっぱいが財務書類でない fact13: 仮にこの遊歩者が遅行すればこの語法は遅行するけど体系化しない fact14: もしも「この練習テストはしょっぱい」ということは確かならばこの遊歩者はしょっぱい fact15: この語法は遅行する fact16: もしなにがしかの物が体系化するなら遅行する fact17: 仮にこの練習テストが財務書類だとすればこの遊歩者はしょっぱい fact18: もし仮になにかは遅行するとしたら「しょっぱくてさらにそれは財務書類でない」ということは正しくない fact19: もし仮に「この語法は遅行する」ということは真実であるとするとそれは体系化する fact20: もしも「この遊歩者は体系化する」ということは事実だとしたらしょっぱい fact21: あの瀰漫性は遅行する fact22: この語法は財務書類だとすると「それは遅行する」ということは確かである
fact19 & fact15 -> int1: この語法は体系化する; int1 & fact11 -> int2: この練習テストはしょっぱい; int2 & fact12 -> hypothesis;
「この遊歩者はしょっぱいけれど財務書類でない」ということは偽だ
fact23 -> int3: もし仮にこの遊歩者は遅行するとしたら「それはしょっぱいがしかし財務書類でない」ということは確かでない; fact24 -> int4: この遊歩者が体系化するとするとそれは遅行する;
$facts$ = fact1: この遊歩者は性格であるけど分析・評価しない fact2: もし仮にこの練習テストはしょっぱいならば「財務書類である」ということは本当だ fact3: このパウダータイプは体系化する fact4: もしもこの遊歩者が体系化するとするとこの語法は体系化するけどそれはしょっぱくない fact5: この遊歩者はしょっぱい fact6: この練習テストは体系化する fact7: もしもこの語法がしょっぱいとしたらそれは遅行する fact8: この練習テストが財務書類だとすればしょっぱい fact9: そのアデノシンは遅行する fact10: もしこの遊歩者が遅行すればそれは財務書類だ fact11: もしこの語法が体系化すればこの練習テストはしょっぱい fact12: もしもこの練習テストがしょっぱいならばこの遊歩者はしょっぱいが財務書類でない fact13: 仮にこの遊歩者が遅行すればこの語法は遅行するけど体系化しない fact14: もしも「この練習テストはしょっぱい」ということは確かならばこの遊歩者はしょっぱい fact15: この語法は遅行する fact16: もしなにがしかの物が体系化するなら遅行する fact17: 仮にこの練習テストが財務書類だとすればこの遊歩者はしょっぱい fact18: もし仮になにかは遅行するとしたら「しょっぱくてさらにそれは財務書類でない」ということは正しくない fact19: もし仮に「この語法は遅行する」ということは真実であるとするとそれは体系化する fact20: もしも「この遊歩者は体系化する」ということは事実だとしたらしょっぱい fact21: あの瀰漫性は遅行する fact22: この語法は財務書類だとすると「それは遅行する」ということは確かである ; $hypothesis$ = 「この遊歩者はしょっぱい一方で財務書類でない」ということは真実でない ; $proof$ = 
fact19 & fact15 -> int1: この語法は体系化する; int1 & fact11 -> int2: この練習テストはしょっぱい; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: この遊歩者は性格であるけど分析・評価しない
事実2: もし仮にこの練習テストはしょっぱいならば「財務書類である」ということは本当だ
事実3: このパウダータイプは体系化する
事実4: もしもこの遊歩者が体系化するとするとこの語法は体系化するけどそれはしょっぱくない
事実5: この遊歩者はしょっぱい
事実6: この練習テストは体系化する
事実7: もしもこの語法がしょっぱいとしたらそれは遅行する
事実8: この練習テストが財務書類だとすればしょっぱい
事実9: そのアデノシンは遅行する
事実10: もしこの遊歩者が遅行すればそれは財務書類だ
事実11: もしこの語法が体系化すればこの練習テストはしょっぱい
事実12: もしもこの練習テストがしょっぱいならばこの遊歩者はしょっぱいが財務書類でない
事実13: 仮にこの遊歩者が遅行すればこの語法は遅行するけど体系化しない
事実14: もしも「この練習テストはしょっぱい」ということは確かならばこの遊歩者はしょっぱい
事実15: この語法は遅行する
事実16: もしなにがしかの物が体系化するなら遅行する
事実17: 仮にこの練習テストが財務書類だとすればこの遊歩者はしょっぱい
事実18: もし仮になにかは遅行するとしたら「しょっぱくてさらにそれは財務書類でない」ということは正しくない
事実19: もし仮に「この語法は遅行する」ということは真実であるとするとそれは体系化する
事実20: もしも「この遊歩者は体系化する」ということは事実だとしたらしょっぱい
事実21: あの瀰漫性は遅行する
事実22: この語法は財務書類だとすると「それは遅行する」ということは確かである

仮説: 「この遊歩者はしょっぱい一方で財務書類でない」ということは真実でない
1. 事実19と事実15から、推論1: "この語法は体系化する"が導かれる
2. 推論1と事実11から、推論2: "この練習テストはしょっぱい"が導かれる
3. 推論2と事実12から、仮説が否定される

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