この二要素はまあるいということはない
fact1: もし仮にその平均賃金が中心テーマだしその上ざわざわし始めるとすればあの経営者勇退時は起こさない fact2: その平均賃金がまあるいとすれば中心テーマである fact3: 「「奉書でないしおまけに眠くない」ということは成り立たない」ものはある fact4: この経営者勇退時がＺ社でないとすればその平均賃金は奉書だ fact5: 「あの恋愛結婚はざわざわし始める」ということは成り立つ fact6: もし仮にあるものが中心テーマでないとしたらそれは陣没するということはないしかつざわざわし始める fact7: もしも「その平均賃金は中心テーマである」ということは成り立つとすると「それはまあるい」ということは成り立つ fact8: Ｚ社はざわざわし始める fact9: 「もし仮にこの常真入道が起こさないとすればこの経営者勇退時は陣没する」ということは本当だ fact10: もしもこの常真入道が陣没しない一方でざわざわし始めるとしたらこの二要素は陣没するということはない fact11: もし仮にこの経営者勇退時は起こさないとしたら「奉書であるということはない」ということは成り立つ fact12: この常真入道は陣没する fact13: 仮に「奉書である」ものがあるとしたらこの経営者勇退時は奉書だ fact14: あのアウトプットはＺ社だ fact15: この経営者勇退時は眩しいししかもＺ社だ fact16: もしも「「奉書だということはなくておまけに眠いということはない」ということは間違いである」ものがあるとすればあの経営者勇退時は奉書である fact17: 「その平均賃金は陣没しない」ということは成り立つとしたらこの常真入道はＺ社だ fact18: その平均賃金が中心テーマでないならこの二要素はまあるい fact19: この経営者勇退時は眠くない fact20: その檜内川沿いは陣没する fact21: この常真入道は陣没するとすると「その平均賃金はＺ社だ」ということは誤りでない fact22: この経営者勇退時は中心テーマだ fact23: もしこの常真入道が陣没するし更に起こすとしたらこの経営者勇退時は奉書でない fact24: この常真入道は奉書でない fact25: その各国語は中心テーマである fact26: もし仮にこの常真入道がざわざわし始めるということはないとするとその離陸時はＺ社で陣没する
fact21 & fact12 -> int1: その平均賃金はＺ社だ; fact8 -> int2: 仮にその平均賃金がＺ社ならざわざわし始める; int1 & int2 -> int3: その平均賃金はざわざわし始める; void -> assump1: 以下のように仮定する。「その平均賃金は中心テーマだ」ということは事実だ; int3 & assump1 -> int4: その平均賃金は中心テーマであるしかつそれはざわざわし始める; int4 & fact1 -> int5: この経営者勇退時は起こさない; int5 & fact11 -> int6: この経営者勇退時は奉書でない; fact3 & fact16 -> int7: この経営者勇退時は奉書である; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その平均賃金は中心テーマでない; int9 & fact18 -> hypothesis;
この二要素はまあるくない
fact28 -> int10: もしこの常真入道が中心テーマだということはないとすれば陣没するということはないけれどざわざわし始める;
$facts$ = fact1: もし仮にその平均賃金が中心テーマだしその上ざわざわし始めるとすればあの経営者勇退時は起こさない fact2: その平均賃金がまあるいとすれば中心テーマである fact3: 「「奉書でないしおまけに眠くない」ということは成り立たない」ものはある fact4: この経営者勇退時がＺ社でないとすればその平均賃金は奉書だ fact5: 「あの恋愛結婚はざわざわし始める」ということは成り立つ fact6: もし仮にあるものが中心テーマでないとしたらそれは陣没するということはないしかつざわざわし始める fact7: もしも「その平均賃金は中心テーマである」ということは成り立つとすると「それはまあるい」ということは成り立つ fact8: Ｚ社はざわざわし始める fact9: 「もし仮にこの常真入道が起こさないとすればこの経営者勇退時は陣没する」ということは本当だ fact10: もしもこの常真入道が陣没しない一方でざわざわし始めるとしたらこの二要素は陣没するということはない fact11: もし仮にこの経営者勇退時は起こさないとしたら「奉書であるということはない」ということは成り立つ fact12: この常真入道は陣没する fact13: 仮に「奉書である」ものがあるとしたらこの経営者勇退時は奉書だ fact14: あのアウトプットはＺ社だ fact15: この経営者勇退時は眩しいししかもＺ社だ fact16: もしも「「奉書だということはなくておまけに眠いということはない」ということは間違いである」ものがあるとすればあの経営者勇退時は奉書である fact17: 「その平均賃金は陣没しない」ということは成り立つとしたらこの常真入道はＺ社だ fact18: その平均賃金が中心テーマでないならこの二要素はまあるい fact19: この経営者勇退時は眠くない fact20: その檜内川沿いは陣没する fact21: この常真入道は陣没するとすると「その平均賃金はＺ社だ」ということは誤りでない fact22: この経営者勇退時は中心テーマだ fact23: もしこの常真入道が陣没するし更に起こすとしたらこの経営者勇退時は奉書でない fact24: この常真入道は奉書でない fact25: その各国語は中心テーマである fact26: もし仮にこの常真入道がざわざわし始めるということはないとするとその離陸時はＺ社で陣没する ; $hypothesis$ = この二要素はまあるいということはない ; $proof$ = 
fact21 & fact12 -> int1: その平均賃金はＺ社だ; fact8 -> int2: 仮にその平均賃金がＺ社ならざわざわし始める; int1 & int2 -> int3: その平均賃金はざわざわし始める; void -> assump1: 以下のように仮定する。「その平均賃金は中心テーマだ」ということは事実だ; int3 & assump1 -> int4: その平均賃金は中心テーマであるしかつそれはざわざわし始める; int4 & fact1 -> int5: この経営者勇退時は起こさない; int5 & fact11 -> int6: この経営者勇退時は奉書でない; fact3 & fact16 -> int7: この経営者勇退時は奉書である; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その平均賃金は中心テーマでない; int9 & fact18 -> hypothesis; __DISPROVED__
事実1: もし仮にその平均賃金が中心テーマだしその上ざわざわし始めるとすればあの経営者勇退時は起こさない
事実2: その平均賃金がまあるいとすれば中心テーマである
事実3: 「「奉書でないしおまけに眠くない」ということは成り立たない」ものはある
事実4: この経営者勇退時がＺ社でないとすればその平均賃金は奉書だ
事実5: 「あの恋愛結婚はざわざわし始める」ということは成り立つ
事実6: もし仮にあるものが中心テーマでないとしたらそれは陣没するということはないしかつざわざわし始める
事実7: もしも「その平均賃金は中心テーマである」ということは成り立つとすると「それはまあるい」ということは成り立つ
事実8: Ｚ社はざわざわし始める
事実9: 「もし仮にこの常真入道が起こさないとすればこの経営者勇退時は陣没する」ということは本当だ
事実10: もしもこの常真入道が陣没しない一方でざわざわし始めるとしたらこの二要素は陣没するということはない
事実11: もし仮にこの経営者勇退時は起こさないとしたら「奉書であるということはない」ということは成り立つ
事実12: この常真入道は陣没する
事実13: 仮に「奉書である」ものがあるとしたらこの経営者勇退時は奉書だ
事実14: あのアウトプットはＺ社だ
事実15: この経営者勇退時は眩しいししかもＺ社だ
事実16: もしも「「奉書だということはなくておまけに眠いということはない」ということは間違いである」ものがあるとすればあの経営者勇退時は奉書である
事実17: 「その平均賃金は陣没しない」ということは成り立つとしたらこの常真入道はＺ社だ
事実18: その平均賃金が中心テーマでないならこの二要素はまあるい
事実19: この経営者勇退時は眠くない
事実20: その檜内川沿いは陣没する
事実21: この常真入道は陣没するとすると「その平均賃金はＺ社だ」ということは誤りでない
事実22: この経営者勇退時は中心テーマだ
事実23: もしこの常真入道が陣没するし更に起こすとしたらこの経営者勇退時は奉書でない
事実24: この常真入道は奉書でない
事実25: その各国語は中心テーマである
事実26: もし仮にこの常真入道がざわざわし始めるということはないとするとその離陸時はＺ社で陣没する

仮説: この二要素はまあるいということはない
1. 事実21と事実12から、推論1: "その平均賃金はＺ社だ"が導かれる
2. 事実8から、推論2: "仮にその平均賃金がＺ社ならざわざわし始める"が導かれる
3. 推論1と推論2から、推論3: "その平均賃金はざわざわし始める"が導かれる
4. 仮定1: 以下のように仮定する。「その平均賃金は中心テーマだ」ということは事実だ
5. 推論3と仮定1から、推論4: "その平均賃金は中心テーマであるしかつそれはざわざわし始める"が導かれる
6. 推論4と事実1から、推論5: "この経営者勇退時は起こさない"が導かれる
7. 推論5と事実11から、推論6: "この経営者勇退時は奉書でない"が導かれる
8. 事実3と事実16から、推論7: "この経営者勇退時は奉書である"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その平均賃金は中心テーマでない"が導かれる
11. 推論9と事実18から、仮説が否定される

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