このモードは壊れ難くない
fact1: 深い物は待機電力だ fact2: このＬＤは引き抜けないが深い fact3: なんらかのものはメリトクラシーでない fact4: 「「固町である」ということは事実と異ならない」物があるとしたらこの家屋内は上客である fact5: もしその磯巾着毒素が壊れ難いとしたらこのモードは壊れ難い fact6: 仮に何らかの物がメリトクラシーだということはないけれど待機電力であるならばこのモードは壊れ難くない fact7: もし仮にこのモードは相互作用過程だとすると「この家屋内はメリトクラシーでない」ということは嘘だ fact8: もし仮にその磯巾着毒素が職業別でないならばこの家屋内は完治しない fact9: その磯巾着毒素は深い fact10: 「固町である」物はある fact11: この家屋内がメリトクラシーであるとするとその磯巾着毒素はトレーニングしない一方で現地スタッフだ fact12: もしとある物は職業別でないとすると「メリトクラシーであるし相互作用過程でない」ということは誤りだ fact13: もしもその磯巾着毒素がメリトクラシーであるし更にそれは相互作用過程であるとすればそれは職業別でない fact14: 上客は完治する fact15: このモードが見易いしその上待機電力である fact16: なにかはメリトクラシーであるししかも待機電力である fact17: 何かは待機電力である fact18: その磯巾着毒素は相互作用過程だ
void -> assump1: 以下のように仮定する。その磯巾着毒素はメリトクラシーである; assump1 & fact18 -> int1: その磯巾着毒素はメリトクラシーでおまけに相互作用過程だ; int1 & fact13 -> int2: その磯巾着毒素は職業別でない; int2 & fact8 -> int3: この家屋内は完治しない; fact14 -> int4: もしもこの家屋内が上客だとするとそれは完治する; fact4 & fact10 -> int5: この家屋内は上客だ; int4 & int5 -> int6: この家屋内は完治する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その磯巾着毒素はメリトクラシーでない; fact1 -> int9: もし仮にその磯巾着毒素が深いなら待機電力だ; int9 & fact9 -> int10: その磯巾着毒素は待機電力だ; int8 & int10 -> int11: その磯巾着毒素はメリトクラシーでないがしかし待機電力である; int11 -> int12: 「メリトクラシーでないし加えて待機電力である」物はある; int12 & fact6 -> hypothesis;
「トレーニングしないし現地スタッフである」物はある
$facts$ = fact1: 深い物は待機電力だ fact2: このＬＤは引き抜けないが深い fact3: なんらかのものはメリトクラシーでない fact4: 「「固町である」ということは事実と異ならない」物があるとしたらこの家屋内は上客である fact5: もしその磯巾着毒素が壊れ難いとしたらこのモードは壊れ難い fact6: 仮に何らかの物がメリトクラシーだということはないけれど待機電力であるならばこのモードは壊れ難くない fact7: もし仮にこのモードは相互作用過程だとすると「この家屋内はメリトクラシーでない」ということは嘘だ fact8: もし仮にその磯巾着毒素が職業別でないならばこの家屋内は完治しない fact9: その磯巾着毒素は深い fact10: 「固町である」物はある fact11: この家屋内がメリトクラシーであるとするとその磯巾着毒素はトレーニングしない一方で現地スタッフだ fact12: もしとある物は職業別でないとすると「メリトクラシーであるし相互作用過程でない」ということは誤りだ fact13: もしもその磯巾着毒素がメリトクラシーであるし更にそれは相互作用過程であるとすればそれは職業別でない fact14: 上客は完治する fact15: このモードが見易いしその上待機電力である fact16: なにかはメリトクラシーであるししかも待機電力である fact17: 何かは待機電力である fact18: その磯巾着毒素は相互作用過程だ ; $hypothesis$ = このモードは壊れ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その磯巾着毒素はメリトクラシーである; assump1 & fact18 -> int1: その磯巾着毒素はメリトクラシーでおまけに相互作用過程だ; int1 & fact13 -> int2: その磯巾着毒素は職業別でない; int2 & fact8 -> int3: この家屋内は完治しない; fact14 -> int4: もしもこの家屋内が上客だとするとそれは完治する; fact4 & fact10 -> int5: この家屋内は上客だ; int4 & int5 -> int6: この家屋内は完治する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その磯巾着毒素はメリトクラシーでない; fact1 -> int9: もし仮にその磯巾着毒素が深いなら待機電力だ; int9 & fact9 -> int10: その磯巾着毒素は待機電力だ; int8 & int10 -> int11: その磯巾着毒素はメリトクラシーでないがしかし待機電力である; int11 -> int12: 「メリトクラシーでないし加えて待機電力である」物はある; int12 & fact6 -> hypothesis; __PROVED__
事実1: 深い物は待機電力だ
事実2: このＬＤは引き抜けないが深い
事実3: なんらかのものはメリトクラシーでない
事実4: 「「固町である」ということは事実と異ならない」物があるとしたらこの家屋内は上客である
事実5: もしその磯巾着毒素が壊れ難いとしたらこのモードは壊れ難い
事実6: 仮に何らかの物がメリトクラシーだということはないけれど待機電力であるならばこのモードは壊れ難くない
事実7: もし仮にこのモードは相互作用過程だとすると「この家屋内はメリトクラシーでない」ということは嘘だ
事実8: もし仮にその磯巾着毒素が職業別でないならばこの家屋内は完治しない
事実9: その磯巾着毒素は深い
事実10: 「固町である」物はある
事実11: この家屋内がメリトクラシーであるとするとその磯巾着毒素はトレーニングしない一方で現地スタッフだ
事実12: もしとある物は職業別でないとすると「メリトクラシーであるし相互作用過程でない」ということは誤りだ
事実13: もしもその磯巾着毒素がメリトクラシーであるし更にそれは相互作用過程であるとすればそれは職業別でない
事実14: 上客は完治する
事実15: このモードが見易いしその上待機電力である
事実16: なにかはメリトクラシーであるししかも待機電力である
事実17: 何かは待機電力である
事実18: その磯巾着毒素は相互作用過程だ

仮説: このモードは壊れ難くない
1. 仮定1: 以下のように仮定する。その磯巾着毒素はメリトクラシーである
2. 仮定1と事実18から、推論1: "その磯巾着毒素はメリトクラシーでおまけに相互作用過程だ"が導かれる
3. 推論1と事実13から、推論2: "その磯巾着毒素は職業別でない"が導かれる
4. 推論2と事実8から、推論3: "この家屋内は完治しない"が導かれる
5. 事実14から、推論4: "もしもこの家屋内が上客だとするとそれは完治する"が導かれる
6. 事実4と事実10から、推論5: "この家屋内は上客だ"が導かれる
7. 推論4と推論5から、推論6: "この家屋内は完治する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その磯巾着毒素はメリトクラシーでない"が導かれる
10. 事実1から、推論9: "もし仮にその磯巾着毒素が深いなら待機電力だ"が導かれる
11. 推論9と事実9から、推論10: "その磯巾着毒素は待機電力だ"が導かれる
12. 推論8と推論10から、推論11: "その磯巾着毒素はメリトクラシーでないがしかし待機電力である"が導かれる
13. 推論11から、推論12: "「メリトクラシーでないし加えて待機電力である」物はある"が導かれる
14. 推論12と事実6から、仮説が導かれる

よって、仮説が証明されました。