この機械室は現代化する
fact1: もしも何らかのものは陸軍首脳部でないとしたら「それは動き難くてさらにひいな遊びでない」ということは本当である fact2: もし薪不足は填補するとすれば「現代化するということはない」ということは正しい fact3: もしも「あの峰は金主だしさらにミレポである」ということは誤りであるならそれはミレポでない fact4: もし仮に薪不足が填補しないとすると現代化しない fact5: もし「その科学的手法は現代化しないかあるいはそれは殴り殺さないかもしくはどちらもである」ということは偽であるならこの機械室は現代化する fact6: とあるものは殴り殺すということはないかもしくは請い求めるか両方ともである fact7: もしこの機械室が請い求めないしそれに殴り殺さないならばあの解凍は現代化しない fact8: 何かは君らしくないかまたは怖いかあるいはどちらもである fact9: もし「君らしくないかあるいは怖いかあるいは両方ともな」ものがあるならあの峰は君らしくない fact10: もし仮に「このマイク・メルドラムは退色し易いが招き易くない」ということは成り立たないとすればあの頂点数は陸軍首脳部でない fact11: もし仮にその科学的手法が出生地であるということはないとするとこの機械室は請い求めないしそれにそれは殴り殺さない fact12: もし「ミレポだということはない」物はあるとすると「このマイク・メルドラムは退色し易いけれど招き易くない」ということは事実でない fact13: 仮に何らかのものが殴り殺さないかあるいは請い求めるか両方ならこの機械室は出生地である fact14: もしあの峰は君らしいということはないならば「金主であるし更にミレポである」ということは嘘だ fact15: もし仮にその共益費用が取り次はないならば「その科学的手法は薪不足でない一方で填補する」ということは成り立たない fact16: なんらかの物は出生地であるとしたら薪不足であるけど填補しない fact17: 仮にこの頂点数が動き難いがしかしひいな遊びでないとするとこの税額控除は近代国家建設でない
fact6 & fact13 -> int1: この機械室は出生地だ; fact16 -> int2: もしこの機械室が出生地ならそれは薪不足であるしかつ填補しない; int1 & int2 -> int3: この機械室は薪不足であるけど填補するということはない; fact4 -> int4: この機械室は薪不足であるけれど填補しないとしたら現代化しない; int3 & int4 -> hypothesis;
fact6 & fact13 -> int1: {C}{a}; fact16 -> int2: {C}{a} -> ({D}{a} & ¬{E}{a}); int1 & int2 -> int3: ({D}{a} & ¬{E}{a}); fact4 -> int4: ({D}{a} & ¬{E}{a}) -> ¬{F}{a}; int3 & int4 -> hypothesis;
「この機械室は現代化しない」ということは誤っている
$facts$ = fact1: もしも何らかのものは陸軍首脳部でないとしたら「それは動き難くてさらにひいな遊びでない」ということは本当である fact2: もし薪不足は填補するとすれば「現代化するということはない」ということは正しい fact3: もしも「あの峰は金主だしさらにミレポである」ということは誤りであるならそれはミレポでない fact4: もし仮に薪不足が填補しないとすると現代化しない fact5: もし「その科学的手法は現代化しないかあるいはそれは殴り殺さないかもしくはどちらもである」ということは偽であるならこの機械室は現代化する fact6: とあるものは殴り殺すということはないかもしくは請い求めるか両方ともである fact7: もしこの機械室が請い求めないしそれに殴り殺さないならばあの解凍は現代化しない fact8: 何かは君らしくないかまたは怖いかあるいはどちらもである fact9: もし「君らしくないかあるいは怖いかあるいは両方ともな」ものがあるならあの峰は君らしくない fact10: もし仮に「このマイク・メルドラムは退色し易いが招き易くない」ということは成り立たないとすればあの頂点数は陸軍首脳部でない fact11: もし仮にその科学的手法が出生地であるということはないとするとこの機械室は請い求めないしそれにそれは殴り殺さない fact12: もし「ミレポだということはない」物はあるとすると「このマイク・メルドラムは退色し易いけれど招き易くない」ということは事実でない fact13: 仮に何らかのものが殴り殺さないかあるいは請い求めるか両方ならこの機械室は出生地である fact14: もしあの峰は君らしいということはないならば「金主であるし更にミレポである」ということは嘘だ fact15: もし仮にその共益費用が取り次はないならば「その科学的手法は薪不足でない一方で填補する」ということは成り立たない fact16: なんらかの物は出生地であるとしたら薪不足であるけど填補しない fact17: 仮にこの頂点数が動き難いがしかしひいな遊びでないとするとこの税額控除は近代国家建設でない ; $hypothesis$ = この機械室は現代化する ; $proof$ = 
fact6 & fact13 -> int1: この機械室は出生地だ; fact16 -> int2: もしこの機械室が出生地ならそれは薪不足であるしかつ填補しない; int1 & int2 -> int3: この機械室は薪不足であるけど填補するということはない; fact4 -> int4: この機械室は薪不足であるけれど填補しないとしたら現代化しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものは陸軍首脳部でないとしたら「それは動き難くてさらにひいな遊びでない」ということは本当である
事実2: もし薪不足は填補するとすれば「現代化するということはない」ということは正しい
事実3: もしも「あの峰は金主だしさらにミレポである」ということは誤りであるならそれはミレポでない
事実4: もし仮に薪不足が填補しないとすると現代化しない
事実5: もし「その科学的手法は現代化しないかあるいはそれは殴り殺さないかもしくはどちらもである」ということは偽であるならこの機械室は現代化する
事実6: とあるものは殴り殺すということはないかもしくは請い求めるか両方ともである
事実7: もしこの機械室が請い求めないしそれに殴り殺さないならばあの解凍は現代化しない
事実8: 何かは君らしくないかまたは怖いかあるいはどちらもである
事実9: もし「君らしくないかあるいは怖いかあるいは両方ともな」ものがあるならあの峰は君らしくない
事実10: もし仮に「このマイク・メルドラムは退色し易いが招き易くない」ということは成り立たないとすればあの頂点数は陸軍首脳部でない
事実11: もし仮にその科学的手法が出生地であるということはないとするとこの機械室は請い求めないしそれにそれは殴り殺さない
事実12: もし「ミレポだということはない」物はあるとすると「このマイク・メルドラムは退色し易いけれど招き易くない」ということは事実でない
事実13: 仮に何らかのものが殴り殺さないかあるいは請い求めるか両方ならこの機械室は出生地である
事実14: もしあの峰は君らしいということはないならば「金主であるし更にミレポである」ということは嘘だ
事実15: もし仮にその共益費用が取り次はないならば「その科学的手法は薪不足でない一方で填補する」ということは成り立たない
事実16: なんらかの物は出生地であるとしたら薪不足であるけど填補しない
事実17: 仮にこの頂点数が動き難いがしかしひいな遊びでないとするとこの税額控除は近代国家建設でない

仮説: この機械室は現代化する
1. 事実6と事実13から、推論1: "この機械室は出生地だ"が導かれる
2. 事実16から、推論2: "もしこの機械室が出生地ならそれは薪不足であるしかつ填補しない"が導かれる
3. 推論1と推論2から、推論3: "この機械室は薪不足であるけど填補するということはない"が導かれる
4. 事実4から、推論4: "この機械室は薪不足であるけれど填補しないとしたら現代化しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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