このカルテルは優しいかあるいは愛国婦人会であるということはないかまたは両方である
fact1: もし仮にあの千石以上が同棲するとすると救急隊員だ fact2: 仮にあの千石以上が愛国婦人会だとすれば同棲する fact3: もしも「何らかの物は削減するということはないかあるいは宇宙法則であるかあるいは両方ともだ」ということは成り立たないならごつかない fact4: 「発病する」物はある fact5: あの乾燥地域は摘み上げない fact6: このカルテルは愛国婦人会である fact7: もし「何らかのものは削減しないかそれは宇宙法則でない」ということは誤りであるとすればごつかない fact8: もしも「なんらかの物はごつかないしそれは優しいということはない」ということは正しくないならそれは優しい fact9: あの千石以上は全域だ fact10: 「ごつい」物はある fact11: 仮にあの乾燥地域は摘み上げないならば「削減しないかまたは宇宙法則でないかどちらもだ」ということは成り立たない fact12: もしとあるものが発病するしそれがごついならあの畑仕事は同棲しない fact13: 仮にあの畑仕事が同棲しないならこのカルテルは愛国婦人会だ fact14: 「馴染み深いということはない」物はある fact15: もしあの畑仕事は同棲しないとしたら「このカルテルは優しいかまたは愛国婦人会だということはない」ということは成り立たない fact16: この否定・肯定両方は摘み上げない fact17: もしもあの乾燥地域はごつかないならあの千石以上は全域だ fact18: 仮に「あの乾燥地域は削減しないかあるいは宇宙法則であるかまたは両方である」ということは間違いであるとすれば「ごつかない」ということは正しい fact19: もし何らかの物が馴染み深くないとしたらあの千石以上は発病する fact20: 仮にあの乾燥地域はごつかないならば「あの千石以上はごついしまた全域だ」ということは事実だ fact21: もし仮に「あの乾燥地域は削減するかまたは宇宙法則でない」ということは嘘だとするとごつかない fact22: 「馴染み深い」ものはある fact23: もし「何らかのものは削減するかもしくはそれは宇宙法則でない」ということは間違っているとしたらごつかない fact24: もしもあの千石以上が救急隊員だとすればこの輸送船団は救急隊員である
fact11 & fact5 -> int1: 「あの乾燥地域は削減しないか宇宙法則でないかあるいはどちらもである」ということは偽である; fact7 -> int2: もし「あの乾燥地域は削減するということはないかまたは宇宙法則でないか両方ともである」ということは誤りであるならばごつかない; int1 & int2 -> int3: あの乾燥地域はごつかない; int3 & fact20 -> int4: あの千石以上はごつくて全域だ; int4 -> int5: 「あの千石以上はごつい」ということは確かだ; fact19 & fact14 -> int6: あの千石以上は発病する; int5 & int6 -> int7: あの千石以上は発病するしごつい; int7 -> int8: ある物は発病するししかもそれはごつい; int8 & fact12 -> int9: あの畑仕事は同棲しない; int9 & fact15 -> hypothesis;
このカルテルは優しいかもしくはそれは愛国婦人会でないかあるいは両方ともである
fact25 -> int10: 「このカルテルはごつかなくてしかも優しくない」ということは間違いであるとすると優しい;
$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: もしもあの千石以上が救急隊員だとすればこの輸送船団は救急隊員である ; $hypothesis$ = このカルテルは優しいかあるいは愛国婦人会であるということはないかまたは両方である ; $proof$ = 
fact11 & fact5 -> int1: 「あの乾燥地域は削減しないか宇宙法則でないかあるいはどちらもである」ということは偽である; fact7 -> int2: もし「あの乾燥地域は削減するということはないかまたは宇宙法則でないか両方ともである」ということは誤りであるならばごつかない; int1 & int2 -> int3: あの乾燥地域はごつかない; int3 & fact20 -> int4: あの千石以上はごつくて全域だ; int4 -> int5: 「あの千石以上はごつい」ということは確かだ; fact19 & fact14 -> int6: あの千石以上は発病する; int5 & int6 -> int7: あの千石以上は発病するしごつい; int7 -> int8: ある物は発病するししかもそれはごつい; int8 & fact12 -> int9: あの畑仕事は同棲しない; int9 & fact15 -> 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: もしもあの千石以上が救急隊員だとすればこの輸送船団は救急隊員である

仮説: このカルテルは優しいかあるいは愛国婦人会であるということはないかまたは両方である
1. 事実11と事実5から、推論1: "「あの乾燥地域は削減しないか宇宙法則でないかあるいはどちらもである」ということは偽である"が導かれる
2. 事実7から、推論2: "もし「あの乾燥地域は削減するということはないかまたは宇宙法則でないか両方ともである」ということは誤りであるならばごつかない"が導かれる
3. 推論1と推論2から、推論3: "あの乾燥地域はごつかない"が導かれる
4. 推論3と事実20から、推論4: "あの千石以上はごつくて全域だ"が導かれる
5. 推論4から、推論5: "「あの千石以上はごつい」ということは確かだ"が導かれる
6. 事実19と事実14から、推論6: "あの千石以上は発病する"が導かれる
7. 推論5と推論6から、推論7: "あの千石以上は発病するしごつい"が導かれる
8. 推論7から、推論8: "ある物は発病するししかもそれはごつい"が導かれる
9. 推論8と事実12から、推論9: "あの畑仕事は同棲しない"が導かれる
10. 推論9と事実15から、仮説が否定される

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