あの予定事業費はすんごい
fact1: もしなんらかのものがＡ病院だということはないならばそれは居りかもしくは利用され易いかもしくは両方ともである fact2: 仮にあの相手チームが厚かましいとすれば人道主義であるかまたは国民経済計算でないかまたは両方だ fact3: もし仮に「紛糾する」物はあるとすれば「そのＫＯＣＨは四室でなくて緊張型頭痛だということはない」ということは嘘である fact4: あの相手チームは厚かましい fact5: 利用され易いものはネクタイピンでない fact6: もしも「そのＫＯＣＨは四室だ」ということは本当であるならばあの予定事業費はすんごくない fact7: 仮にそのスランプが居りならこの豚埋葬坑は利用され易い fact8: もしも緊張型頭痛がすんごくないならば四室でない fact9: 平たくないものは緊張型頭痛でない一方で兵員である fact10: そのピストン輸送はすんごい fact11: この豚埋葬坑がネクタイピンでないならばあのＫＯＣＨは銃殺しない一方で夫婦らしい fact12: 仮になにがしかの物は第二溶出量基準であるとすれば「それは断定し難くないが確率分布だ」ということは成り立たない fact13: 仮に「そのスランプは利用され易い」ということは成り立てばこの豚埋葬坑は利用され易い fact14: 「すんごい」ものはあるとすると「あの予定事業費は四室でなくて更に緊張型頭痛でない」ということは本当でない fact15: もし仮になにがしかの物が緊張型頭痛でないけどそれは兵員であるとすれば「四室でない」ということは成り立つ fact16: 仮に何らかの物は紛糾するなら「そのＫＯＣＨは四室であるがしかし緊張型頭痛でない」ということは成り立たない fact17: 「そのＫＯＣＨは四室でないし緊張型頭痛だということはない」ということは成り立たないとすればあの予定事業費はすんごくない fact18: もしもあの相手チームが人道主義であるかもしくは国民経済計算でないかあるいは両方であるとするとそのスランプはＡ病院だということはない fact19: そのピストン輸送は紛糾する fact20: 仮に「なんらかの物は断定し難いということはないがしかし確率分布である」ということは成り立つということはないとするとそれは平たくない fact21: もしもそのピストン輸送は兵員でないとしたらそれは緊張型頭痛だけどすんごいない fact22: もしあの予定事業費が確率分布でないならそのＫＯＣＨは平たいかまたは断定し難いかまたは両方だ
fact19 -> int1: 何かは紛糾する; int1 & fact3 -> int2: 「そのＫＯＣＨは四室でないししかも緊張型頭痛でない」ということは間違いだ; int2 & fact17 -> hypothesis;
あの予定事業費はすんごい
fact23 -> int3: 仮にあの予定事業費は緊張型頭痛でない一方で兵員であるなら四室でない; fact24 -> int4: もしあの予定事業費が平たいということはないならばそれは緊張型頭痛でないけれど兵員だ; fact30 -> int5: もし「あの予定事業費は断定し難くないがしかし確率分布である」ということは事実と異なれば「それは平たくない」ということは事実だ; fact31 -> int6: もしあの予定事業費は第二溶出量基準であるとすると「それは断定し難くないけれど確率分布である」ということは偽だ; fact25 -> int7: 仮に「この豚埋葬坑は利用され易い」ということは嘘でないとするとそれはネクタイピンでない; fact34 -> int8: そのスランプがＡ病院でないなら居りかあるいはそれは利用され易い; fact28 & fact27 -> int9: あの相手チームは人道主義であるかあるいは国民経済計算でないかまたは両方だ; fact29 & int9 -> int10: そのスランプはＡ病院でない; int8 & int10 -> int11: そのスランプは居りかもしくはそれは利用され易いか両方である; int11 & fact26 & fact33 -> int12: この豚埋葬坑は利用され易い; int7 & int12 -> int13: 「この豚埋葬坑はネクタイピンでない」ということは確かだ; fact32 & int13 -> int14: そのＫＯＣＨは銃殺しない一方で夫婦らしい; int14 -> int15: あるものは銃殺するということはない一方で夫婦らしい;
$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 -> int1: 何かは紛糾する; int1 & fact3 -> int2: 「そのＫＯＣＨは四室でないししかも緊張型頭痛でない」ということは間違いだ; int2 & fact17 -> 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から、推論1: "何かは紛糾する"が導かれる
2. 推論1と事実3から、推論2: "「そのＫＯＣＨは四室でないししかも緊張型頭痛でない」ということは間違いだ"が導かれる
3. 推論2と事実17から、仮説が否定される

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