その鼠共は持ち直さない
fact1: なんらかの物は哲学専攻であるならば引き直し計算である fact2: もしもとあるものは原因菌であるとすればそれは持ち直す fact3: あのクラス規模は原因菌だ fact4: その効果局面は一体化出来る fact5: 仮にその効果局面が引き直し計算であるならばあの普遍的理性は一体化出来る fact6: もし仮になにがしかのものが原因菌でないとすればその効果局面は哲学専攻である fact7: あの普遍的理性は一体化出来る fact8: あの普遍的理性は覚束無くない fact9: もし仮にその効果局面が引き直し計算であるとするとあの普遍的理性はフィゾー干渉計でないけど一体化出来る fact10: 「原因菌である」ものはある fact11: 「もしあの普遍的理性は覚束無くないならば「あの普遍的理性はフィゾー干渉計だということはないがしかし一体化出来る」ということは偽だ」ということは事実である fact12: 仮にその効果局面が原因菌であるけれどそれが持ち直さないならその鼠共は持ち直さない
void -> assump1: 以下のように仮定する。その鼠共は原因菌でない; assump1 -> int1: 「原因菌であるということはない」物はある; int1 & fact6 -> int2: その効果局面は哲学専攻だ; fact1 -> int3: もし仮にその効果局面が哲学専攻だとしたらそれは引き直し計算である; int2 & int3 -> int4: その効果局面は引き直し計算である; int4 & fact9 -> int5: あの普遍的理性はフィゾー干渉計でないがしかしそれは一体化出来る; fact11 & fact8 -> int6: 「あの普遍的理性はフィゾー干渉計であるということはないけど一体化出来る」ということは誤りである; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鼠共は原因菌である; fact2 -> int9: その鼠共が原因菌だとするとそれは持ち直す; int8 & int9 -> hypothesis;
「その鼠共は持ち直すということはない」ということは本当である
$facts$ = fact1: なんらかの物は哲学専攻であるならば引き直し計算である fact2: もしもとあるものは原因菌であるとすればそれは持ち直す fact3: あのクラス規模は原因菌だ fact4: その効果局面は一体化出来る fact5: 仮にその効果局面が引き直し計算であるならばあの普遍的理性は一体化出来る fact6: もし仮になにがしかのものが原因菌でないとすればその効果局面は哲学専攻である fact7: あの普遍的理性は一体化出来る fact8: あの普遍的理性は覚束無くない fact9: もし仮にその効果局面が引き直し計算であるとするとあの普遍的理性はフィゾー干渉計でないけど一体化出来る fact10: 「原因菌である」ものはある fact11: 「もしあの普遍的理性は覚束無くないならば「あの普遍的理性はフィゾー干渉計だということはないがしかし一体化出来る」ということは偽だ」ということは事実である fact12: 仮にその効果局面が原因菌であるけれどそれが持ち直さないならその鼠共は持ち直さない ; $hypothesis$ = その鼠共は持ち直さない ; $proof$ = 
void -> assump1: 以下のように仮定する。その鼠共は原因菌でない; assump1 -> int1: 「原因菌であるということはない」物はある; int1 & fact6 -> int2: その効果局面は哲学専攻だ; fact1 -> int3: もし仮にその効果局面が哲学専攻だとしたらそれは引き直し計算である; int2 & int3 -> int4: その効果局面は引き直し計算である; int4 & fact9 -> int5: あの普遍的理性はフィゾー干渉計でないがしかしそれは一体化出来る; fact11 & fact8 -> int6: 「あの普遍的理性はフィゾー干渉計であるということはないけど一体化出来る」ということは誤りである; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その鼠共は原因菌である; fact2 -> int9: その鼠共が原因菌だとするとそれは持ち直す; int8 & int9 -> hypothesis; __DISPROVED__
事実1: なんらかの物は哲学専攻であるならば引き直し計算である
事実2: もしもとあるものは原因菌であるとすればそれは持ち直す
事実3: あのクラス規模は原因菌だ
事実4: その効果局面は一体化出来る
事実5: 仮にその効果局面が引き直し計算であるならばあの普遍的理性は一体化出来る
事実6: もし仮になにがしかのものが原因菌でないとすればその効果局面は哲学専攻である
事実7: あの普遍的理性は一体化出来る
事実8: あの普遍的理性は覚束無くない
事実9: もし仮にその効果局面が引き直し計算であるとするとあの普遍的理性はフィゾー干渉計でないけど一体化出来る
事実10: 「原因菌である」ものはある
事実11: 「もしあの普遍的理性は覚束無くないならば「あの普遍的理性はフィゾー干渉計だということはないがしかし一体化出来る」ということは偽だ」ということは事実である
事実12: 仮にその効果局面が原因菌であるけれどそれが持ち直さないならその鼠共は持ち直さない

仮説: その鼠共は持ち直さない
1. 仮定1: 以下のように仮定する。その鼠共は原因菌でない
2. 仮定1から、推論1: "「原因菌であるということはない」物はある"が導かれる
3. 推論1と事実6から、推論2: "その効果局面は哲学専攻だ"が導かれる
4. 事実1から、推論3: "もし仮にその効果局面が哲学専攻だとしたらそれは引き直し計算である"が導かれる
5. 推論2と推論3から、推論4: "その効果局面は引き直し計算である"が導かれる
6. 推論4と事実9から、推論5: "あの普遍的理性はフィゾー干渉計でないがしかしそれは一体化出来る"が導かれる
7. 事実11と事実8から、推論6: "「あの普遍的理性はフィゾー干渉計であるということはないけど一体化出来る」ということは誤りである"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その鼠共は原因菌である"が導かれる
10. 事実2から、推論9: "その鼠共が原因菌だとするとそれは持ち直す"が導かれる
11. 推論8と推論9から、仮説が否定される

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