「その意気地はショートカットでないがしかしひょろ長い」ということは成り立たない
fact1: あの紛争処理委員はどうして良いということはない fact2: 仮にその意気地は入力回路であるということはないならひょろ長い fact3: 「そのホビット達は男らしいがしかしけばけばしくない」ということは偽である fact4: 仮にそのホビット達は生き易いとすると「このディフェンスタックルはどうして良いということはない」ということは真実である fact5: もしもこの魚網が母親らしいならばその意気地は入力回路でない fact6: 「なんらかのものはけばけばしいけど母親らしいということはない」ということは誤りであるとしたらそれはけばけばしくない fact7: もし仮に「そのホビット達は減り続ける」ということは誤りであるということはないとすれば「けばけばしいが母親らしくない」ということは真実でない fact8: このディフェンスタックルはショートカットだ fact9: 「そのホビット達は男らしいけどそれは生き易くない」ということは誤っている fact10: もしあの紛争処理委員がどうして良い一方で岩海苔でないとしたらそれはけばけばしい fact11: 「「あの紛争処理委員はどうして良くないし更に岩海苔でない」ということは本当であるならあの紛争処理委員はけばけばしい」ということは成り立つ fact12: もし仮に「このディフェンスタックルはどうして良くない」ということは成り立つとしたらあの紛争処理委員はどうして良くないし更に岩海苔でない fact13: 仮にその意気地は入力回路でないとしたらそれはショートカットでないがひょろ長い fact14: このリスク・コーディネーションは生き易い fact15: 仮にこの魚網が減り続けるかもしくはそれが母親らしいかあるいは両方であるとするとその意気地は入力回路でない fact16: その意気地はどうして良くない fact17: もし仮にあの紛争処理委員がけばけばしいとしたらこの魚網は減り続ける fact18: もしそのホビット達がけばけばしくないとするとあの紛争処理委員はけばけばしくないし男らしくない fact19: その意気地はひょろ長い fact20: もしも「そのホビット達は男らしい一方でそれは生き易くない」ということは誤りならば「このディフェンスタックルはどうして良くない」ということは成り立つ fact21: そのホビット達は岩海苔であるならば「その意気地はショートカットでない一方でひょろ長い」ということは間違っている
fact20 & fact9 -> int1: このディフェンスタックルはどうして良くない; int1 & fact12 -> int2: あの紛争処理委員はどうして良くないし岩海苔でない; int2 & fact11 -> int3: あの紛争処理委員はけばけばしい; int3 & fact17 -> int4: この魚網は減り続ける; int4 -> int5: この魚網は減り続けるかあるいはそれは母親らしい; int5 & fact15 -> int6: その意気地は入力回路だということはない; int6 & fact13 -> hypothesis;
「その意気地はショートカットでない一方でそれはひょろ長い」ということは成り立たない
fact24 -> int7: もし「そのホビット達はけばけばしいが母親らしいということはない」ということは偽ならばけばけばしくない;
$facts$ = fact1: あの紛争処理委員はどうして良いということはない fact2: 仮にその意気地は入力回路であるということはないならひょろ長い fact3: 「そのホビット達は男らしいがしかしけばけばしくない」ということは偽である fact4: 仮にそのホビット達は生き易いとすると「このディフェンスタックルはどうして良いということはない」ということは真実である fact5: もしもこの魚網が母親らしいならばその意気地は入力回路でない fact6: 「なんらかのものはけばけばしいけど母親らしいということはない」ということは誤りであるとしたらそれはけばけばしくない fact7: もし仮に「そのホビット達は減り続ける」ということは誤りであるということはないとすれば「けばけばしいが母親らしくない」ということは真実でない fact8: このディフェンスタックルはショートカットだ fact9: 「そのホビット達は男らしいけどそれは生き易くない」ということは誤っている fact10: もしあの紛争処理委員がどうして良い一方で岩海苔でないとしたらそれはけばけばしい fact11: 「「あの紛争処理委員はどうして良くないし更に岩海苔でない」ということは本当であるならあの紛争処理委員はけばけばしい」ということは成り立つ fact12: もし仮に「このディフェンスタックルはどうして良くない」ということは成り立つとしたらあの紛争処理委員はどうして良くないし更に岩海苔でない fact13: 仮にその意気地は入力回路でないとしたらそれはショートカットでないがひょろ長い fact14: このリスク・コーディネーションは生き易い fact15: 仮にこの魚網が減り続けるかもしくはそれが母親らしいかあるいは両方であるとするとその意気地は入力回路でない fact16: その意気地はどうして良くない fact17: もし仮にあの紛争処理委員がけばけばしいとしたらこの魚網は減り続ける fact18: もしそのホビット達がけばけばしくないとするとあの紛争処理委員はけばけばしくないし男らしくない fact19: その意気地はひょろ長い fact20: もしも「そのホビット達は男らしい一方でそれは生き易くない」ということは誤りならば「このディフェンスタックルはどうして良くない」ということは成り立つ fact21: そのホビット達は岩海苔であるならば「その意気地はショートカットでない一方でひょろ長い」ということは間違っている ; $hypothesis$ = 「その意気地はショートカットでないがしかしひょろ長い」ということは成り立たない ; $proof$ = 
fact20 & fact9 -> int1: このディフェンスタックルはどうして良くない; int1 & fact12 -> int2: あの紛争処理委員はどうして良くないし岩海苔でない; int2 & fact11 -> int3: あの紛争処理委員はけばけばしい; int3 & fact17 -> int4: この魚網は減り続ける; int4 -> int5: この魚網は減り続けるかあるいはそれは母親らしい; int5 & fact15 -> int6: その意気地は入力回路だということはない; int6 & fact13 -> hypothesis; __DISPROVED__
事実1: あの紛争処理委員はどうして良いということはない
事実2: 仮にその意気地は入力回路であるということはないならひょろ長い
事実3: 「そのホビット達は男らしいがしかしけばけばしくない」ということは偽である
事実4: 仮にそのホビット達は生き易いとすると「このディフェンスタックルはどうして良いということはない」ということは真実である
事実5: もしもこの魚網が母親らしいならばその意気地は入力回路でない
事実6: 「なんらかのものはけばけばしいけど母親らしいということはない」ということは誤りであるとしたらそれはけばけばしくない
事実7: もし仮に「そのホビット達は減り続ける」ということは誤りであるということはないとすれば「けばけばしいが母親らしくない」ということは真実でない
事実8: このディフェンスタックルはショートカットだ
事実9: 「そのホビット達は男らしいけどそれは生き易くない」ということは誤っている
事実10: もしあの紛争処理委員がどうして良い一方で岩海苔でないとしたらそれはけばけばしい
事実11: 「「あの紛争処理委員はどうして良くないし更に岩海苔でない」ということは本当であるならあの紛争処理委員はけばけばしい」ということは成り立つ
事実12: もし仮に「このディフェンスタックルはどうして良くない」ということは成り立つとしたらあの紛争処理委員はどうして良くないし更に岩海苔でない
事実13: 仮にその意気地は入力回路でないとしたらそれはショートカットでないがひょろ長い
事実14: このリスク・コーディネーションは生き易い
事実15: 仮にこの魚網が減り続けるかもしくはそれが母親らしいかあるいは両方であるとするとその意気地は入力回路でない
事実16: その意気地はどうして良くない
事実17: もし仮にあの紛争処理委員がけばけばしいとしたらこの魚網は減り続ける
事実18: もしそのホビット達がけばけばしくないとするとあの紛争処理委員はけばけばしくないし男らしくない
事実19: その意気地はひょろ長い
事実20: もしも「そのホビット達は男らしい一方でそれは生き易くない」ということは誤りならば「このディフェンスタックルはどうして良くない」ということは成り立つ
事実21: そのホビット達は岩海苔であるならば「その意気地はショートカットでない一方でひょろ長い」ということは間違っている

仮説: 「その意気地はショートカットでないがしかしひょろ長い」ということは成り立たない
1. 事実20と事実9から、推論1: "このディフェンスタックルはどうして良くない"が導かれる
2. 推論1と事実12から、推論2: "あの紛争処理委員はどうして良くないし岩海苔でない"が導かれる
3. 推論2と事実11から、推論3: "あの紛争処理委員はけばけばしい"が導かれる
4. 推論3と事実17から、推論4: "この魚網は減り続ける"が導かれる
5. 推論4から、推論5: "この魚網は減り続けるかあるいはそれは母親らしい"が導かれる
6. 推論5と事実15から、推論6: "その意気地は入力回路だということはない"が導かれる
7. 推論6と事実13から、仮説が否定される

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