このＳＴ上昇はタイプＲである
fact1: その種籾は古し fact2: もしこの進行癌が転げ込まないとすればそれは最終戦であるかまたは力ずくであるか両方だ fact3: この疾病構造が世知辛くないならばこの進行癌は転げ込むということはない fact4: もし仮にとある物が転げ込まないとすれば最終戦であるかあるいは力ずくだ fact5: この進行癌は阿呆らしいということはない fact6: もしもその種籾が古しということはないならばこの生活全体は阿呆らしくない fact7: 「その種籾は窺う」ということは確かだ fact8: もしもこの進行癌は最終戦でないか力ずくであるかあるいは両方だとすると「このＳＴ上昇はタイプＲでない」ということは嘘でない fact9: この進行癌は最終戦であるかそれは力ずくであるかあるいはどちらもである fact10: もし「その種籾は窺わない一方で古し」ということは間違っているとすればこの生活全体は阿呆らしくない fact11: 「もしこの生活全体は阿呆らしくないなら「この疾病構造は這いずり回るしおまけに世知辛い」ということは事実と異なる」ということは真実だ fact12: 「あの作り掛けは窺う」ということは確かだ fact13: 「「この疾病構造は這いずり回るしそれは世知辛い」ということは成り立たないとするとこの進行癌は転げ込まない」ということは成り立つ fact14: 仮に何らかのものが転げ込まないなら最終戦でないか力ずくであるかどちらもである
void -> assump1: 以下のように仮定する。その種籾は窺わないけど古し; assump1 -> int1: その種籾は窺わない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その種籾は窺わないが古し」ということは成り立たない; int3 & fact10 -> int4: この生活全体は阿呆らしいということはない; int4 & fact11 -> int5: 「この疾病構造は這いずり回るし世知辛い」ということは事実と異なる; int5 & fact13 -> int6: この進行癌は転げ込まない; fact14 -> int7: もし仮にこの進行癌が転げ込まないとすればそれは最終戦でないかもしくは力ずくであるかどちらもだ; int6 & int7 -> int8: この進行癌は最終戦でないかあるいはそれは力ずくであるかもしくはどちらもである; int8 & fact8 -> hypothesis;
$facts$ = fact1: その種籾は古し fact2: もしこの進行癌が転げ込まないとすればそれは最終戦であるかまたは力ずくであるか両方だ fact3: この疾病構造が世知辛くないならばこの進行癌は転げ込むということはない fact4: もし仮にとある物が転げ込まないとすれば最終戦であるかあるいは力ずくだ fact5: この進行癌は阿呆らしいということはない fact6: もしもその種籾が古しということはないならばこの生活全体は阿呆らしくない fact7: 「その種籾は窺う」ということは確かだ fact8: もしもこの進行癌は最終戦でないか力ずくであるかあるいは両方だとすると「このＳＴ上昇はタイプＲでない」ということは嘘でない fact9: この進行癌は最終戦であるかそれは力ずくであるかあるいはどちらもである fact10: もし「その種籾は窺わない一方で古し」ということは間違っているとすればこの生活全体は阿呆らしくない fact11: 「もしこの生活全体は阿呆らしくないなら「この疾病構造は這いずり回るしおまけに世知辛い」ということは事実と異なる」ということは真実だ fact12: 「あの作り掛けは窺う」ということは確かだ fact13: 「「この疾病構造は這いずり回るしそれは世知辛い」ということは成り立たないとするとこの進行癌は転げ込まない」ということは成り立つ fact14: 仮に何らかのものが転げ込まないなら最終戦でないか力ずくであるかどちらもである ; $hypothesis$ = このＳＴ上昇はタイプＲである ; $proof$ = 
void -> assump1: 以下のように仮定する。その種籾は窺わないけど古し; assump1 -> int1: その種籾は窺わない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その種籾は窺わないが古し」ということは成り立たない; int3 & fact10 -> int4: この生活全体は阿呆らしいということはない; int4 & fact11 -> int5: 「この疾病構造は這いずり回るし世知辛い」ということは事実と異なる; int5 & fact13 -> int6: この進行癌は転げ込まない; fact14 -> int7: もし仮にこの進行癌が転げ込まないとすればそれは最終戦でないかもしくは力ずくであるかどちらもだ; int6 & int7 -> int8: この進行癌は最終戦でないかあるいはそれは力ずくであるかもしくはどちらもである; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: その種籾は古し
事実2: もしこの進行癌が転げ込まないとすればそれは最終戦であるかまたは力ずくであるか両方だ
事実3: この疾病構造が世知辛くないならばこの進行癌は転げ込むということはない
事実4: もし仮にとある物が転げ込まないとすれば最終戦であるかあるいは力ずくだ
事実5: この進行癌は阿呆らしいということはない
事実6: もしもその種籾が古しということはないならばこの生活全体は阿呆らしくない
事実7: 「その種籾は窺う」ということは確かだ
事実8: もしもこの進行癌は最終戦でないか力ずくであるかあるいは両方だとすると「このＳＴ上昇はタイプＲでない」ということは嘘でない
事実9: この進行癌は最終戦であるかそれは力ずくであるかあるいはどちらもである
事実10: もし「その種籾は窺わない一方で古し」ということは間違っているとすればこの生活全体は阿呆らしくない
事実11: 「もしこの生活全体は阿呆らしくないなら「この疾病構造は這いずり回るしおまけに世知辛い」ということは事実と異なる」ということは真実だ
事実12: 「あの作り掛けは窺う」ということは確かだ
事実13: 「「この疾病構造は這いずり回るしそれは世知辛い」ということは成り立たないとするとこの進行癌は転げ込まない」ということは成り立つ
事実14: 仮に何らかのものが転げ込まないなら最終戦でないか力ずくであるかどちらもである

仮説: このＳＴ上昇はタイプＲである
1. 仮定1: 以下のように仮定する。その種籾は窺わないけど古し
2. 仮定1から、推論1: "その種籾は窺わない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その種籾は窺わないが古し」ということは成り立たない"が導かれる
5. 推論3と事実10から、推論4: "この生活全体は阿呆らしいということはない"が導かれる
6. 推論4と事実11から、推論5: "「この疾病構造は這いずり回るし世知辛い」ということは事実と異なる"が導かれる
7. 推論5と事実13から、推論6: "この進行癌は転げ込まない"が導かれる
8. 事実14から、推論7: "もし仮にこの進行癌が転げ込まないとすればそれは最終戦でないかもしくは力ずくであるかどちらもだ"が導かれる
9. 推論6と推論7から、推論8: "この進行癌は最終戦でないかあるいはそれは力ずくであるかもしくはどちらもである"が導かれる
10. 推論8と事実8から、仮説が否定される

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