あの埋葬システムは中途採用者でない
fact1: もし仮にこの弓形門は機関車でないなら注意す fact2: もしも何かは中途採用者であるということはないならばそれは取り易くない fact3: 仮にあの埋葬システムがチェック出来るけれど取り易いということはないならばあの弓形門は器具だ fact4: もしもあの埋葬システムがチェック出来るし更に取り易いならこの弓形門は器具である fact5: この例は蓄積され易い fact6: あの埋葬システムは取り易いということはない fact7: この例が蓄積され易いとしたらこの弓形門は機関車であるということはない fact8: 仮にあの埋葬システムは中途採用者でないとすれば「取り易くない」ということは確かである fact9: もしもあるものが中途採用者でないとするとチェック出来るし取り易くない fact10: なにかは機関車でないとすればそれは器具でないけれど注意す fact11: 仮になにかは機関車でないとすると注意す fact12: あの埋葬システムは注意すということはない fact13: この弓形門は注意す
fact9 -> int1: 「あの埋葬システムは中途採用者でない」ということは成り立つならそれはチェック出来るししかも取り易くない; void -> assump1: 以下のように仮定する。「あの埋葬システムは中途採用者でない」ということは嘘でない; int1 & assump1 -> int2: あの埋葬システムはチェック出来るがしかし取り易くない; int2 & fact3 -> int3: 「この弓形門は器具だ」ということは確かである; fact10 -> int4: 仮にこの弓形門が機関車でないとすればそれは器具でないけど注意す; fact7 & fact5 -> int5: この弓形門は機関車だということはない; int4 & int5 -> int6: この弓形門は器具でないがしかし注意す; int6 -> int7: この弓形門は器具でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もし仮にこの弓形門は機関車でないなら注意す fact2: もしも何かは中途採用者であるということはないならばそれは取り易くない fact3: 仮にあの埋葬システムがチェック出来るけれど取り易いということはないならばあの弓形門は器具だ fact4: もしもあの埋葬システムがチェック出来るし更に取り易いならこの弓形門は器具である fact5: この例は蓄積され易い fact6: あの埋葬システムは取り易いということはない fact7: この例が蓄積され易いとしたらこの弓形門は機関車であるということはない fact8: 仮にあの埋葬システムは中途採用者でないとすれば「取り易くない」ということは確かである fact9: もしもあるものが中途採用者でないとするとチェック出来るし取り易くない fact10: なにかは機関車でないとすればそれは器具でないけれど注意す fact11: 仮になにかは機関車でないとすると注意す fact12: あの埋葬システムは注意すということはない fact13: この弓形門は注意す ; $hypothesis$ = あの埋葬システムは中途採用者でない ; $proof$ = 
fact9 -> int1: 「あの埋葬システムは中途採用者でない」ということは成り立つならそれはチェック出来るししかも取り易くない; void -> assump1: 以下のように仮定する。「あの埋葬システムは中途採用者でない」ということは嘘でない; int1 & assump1 -> int2: あの埋葬システムはチェック出来るがしかし取り易くない; int2 & fact3 -> int3: 「この弓形門は器具だ」ということは確かである; fact10 -> int4: 仮にこの弓形門が機関車でないとすればそれは器具でないけど注意す; fact7 & fact5 -> int5: この弓形門は機関車だということはない; int4 & int5 -> int6: この弓形門は器具でないがしかし注意す; int6 -> int7: この弓形門は器具でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの弓形門は機関車でないなら注意す
事実2: もしも何かは中途採用者であるということはないならばそれは取り易くない
事実3: 仮にあの埋葬システムがチェック出来るけれど取り易いということはないならばあの弓形門は器具だ
事実4: もしもあの埋葬システムがチェック出来るし更に取り易いならこの弓形門は器具である
事実5: この例は蓄積され易い
事実6: あの埋葬システムは取り易いということはない
事実7: この例が蓄積され易いとしたらこの弓形門は機関車であるということはない
事実8: 仮にあの埋葬システムは中途採用者でないとすれば「取り易くない」ということは確かである
事実9: もしもあるものが中途採用者でないとするとチェック出来るし取り易くない
事実10: なにかは機関車でないとすればそれは器具でないけれど注意す
事実11: 仮になにかは機関車でないとすると注意す
事実12: あの埋葬システムは注意すということはない
事実13: この弓形門は注意す

仮説: あの埋葬システムは中途採用者でない
1. 事実9から、推論1: "「あの埋葬システムは中途採用者でない」ということは成り立つならそれはチェック出来るししかも取り易くない"が導かれる
2. 仮定1: 以下のように仮定する。「あの埋葬システムは中途採用者でない」ということは嘘でない
3. 推論1と仮定1から、推論2: "あの埋葬システムはチェック出来るがしかし取り易くない"が導かれる
4. 推論2と事実3から、推論3: "「この弓形門は器具だ」ということは確かである"が導かれる
5. 事実10から、推論4: "仮にこの弓形門が機関車でないとすればそれは器具でないけど注意す"が導かれる
6. 事実7と事実5から、推論5: "この弓形門は機関車だということはない"が導かれる
7. 推論4と推論5から、推論6: "この弓形門は器具でないがしかし注意す"が導かれる
8. 推論6から、推論7: "この弓形門は器具でない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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