その新古典派成長モデルは立て替えない
fact1: この曹時は欺罔する fact2: 仮に気恥ずかしくないものは肉体的欲求であるということはないとすれば再編成しない fact3: もしこの曹時が欺罔するし泳ぎ着けばそれはティーポット・ドーム油田疑獄でない fact4: あの準拠が気恥ずかしくないとするとこの曹時は再編成するし肉体的欲求である fact5: 仮になんらかの物はティーポット・ドーム油田疑獄でないなら肉体的欲求だしまた気恥ずかしい fact6: この曹時は欺罔するしまた泳ぎ着く fact7: もしも何らかの物が泳ぎ着くということはないならば肉体的欲求であるし立て替える fact8: 「再編成する」ものはある fact9: もし仮にこの曹時はティーポット・ドーム油田疑獄であるということはないなら肉体的欲求だ fact10: その新古典派成長モデルはひもじい fact11: その新古典派成長モデルはひもじいしそれは再編成する fact12: もし「「あの準拠は気恥ずかしいしその上泳ぎ着く」ということは確かだ」ということは成り立たないとすればそれは気恥ずかしくない fact13: もしもこの曹時が再編成するしさらにそれが肉体的欲求であるならその新古典派成長モデルは再編成しない fact14: なんらかのものは立て替える fact15: なにがしかのものが再編成しないとするとそれは立て替えるしさらにそれはひもじい fact16: もし「立て替えるし再編成する」物があるとするとこの曹時は気恥ずかしいということはない fact17: 仮にとある物はティーポット・ドーム油田疑獄であるということはないとしたら「肉体的欲求だ」ということは間違っていない fact18: この曹時は肉体的欲求だ
fact11 -> int1: その新古典派成長モデルは再編成する; void -> assump1: 以下のように仮定する。その新古典派成長モデルは立て替える; int1 & assump1 -> int2: その新古典派成長モデルは立て替えるしまた再編成する; int2 -> int3: 「立て替えるしさらに再編成する」物はある; int3 & fact16 -> int4: この曹時は気恥ずかしくない; fact5 -> int5: もしもこの曹時はティーポット・ドーム油田疑獄でないならば肉体的欲求であるしその上気恥ずかしい; fact6 & fact3 -> int6: この曹時はティーポット・ドーム油田疑獄でない; int5 & int6 -> int7: この曹時は肉体的欲求でまた気恥ずかしい; int7 -> int8: 「この曹時は気恥ずかしい」ということは真実だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その新古典派成長モデルは立て替える
fact19 -> int10: 「その新古典派成長モデルが再編成しないならばその新古典派成長モデルは立て替えるしひもじい」ということは真実だ; fact20 -> int11: もし仮にその新古典派成長モデルは気恥ずかしくないし肉体的欲求であるということはないとすればそれは再編成するということはない;
$facts$ = fact1: この曹時は欺罔する fact2: 仮に気恥ずかしくないものは肉体的欲求であるということはないとすれば再編成しない fact3: もしこの曹時が欺罔するし泳ぎ着けばそれはティーポット・ドーム油田疑獄でない fact4: あの準拠が気恥ずかしくないとするとこの曹時は再編成するし肉体的欲求である fact5: 仮になんらかの物はティーポット・ドーム油田疑獄でないなら肉体的欲求だしまた気恥ずかしい fact6: この曹時は欺罔するしまた泳ぎ着く fact7: もしも何らかの物が泳ぎ着くということはないならば肉体的欲求であるし立て替える fact8: 「再編成する」ものはある fact9: もし仮にこの曹時はティーポット・ドーム油田疑獄であるということはないなら肉体的欲求だ fact10: その新古典派成長モデルはひもじい fact11: その新古典派成長モデルはひもじいしそれは再編成する fact12: もし「「あの準拠は気恥ずかしいしその上泳ぎ着く」ということは確かだ」ということは成り立たないとすればそれは気恥ずかしくない fact13: もしもこの曹時が再編成するしさらにそれが肉体的欲求であるならその新古典派成長モデルは再編成しない fact14: なんらかのものは立て替える fact15: なにがしかのものが再編成しないとするとそれは立て替えるしさらにそれはひもじい fact16: もし「立て替えるし再編成する」物があるとするとこの曹時は気恥ずかしいということはない fact17: 仮にとある物はティーポット・ドーム油田疑獄であるということはないとしたら「肉体的欲求だ」ということは間違っていない fact18: この曹時は肉体的欲求だ ; $hypothesis$ = その新古典派成長モデルは立て替えない ; $proof$ = 
fact11 -> int1: その新古典派成長モデルは再編成する; void -> assump1: 以下のように仮定する。その新古典派成長モデルは立て替える; int1 & assump1 -> int2: その新古典派成長モデルは立て替えるしまた再編成する; int2 -> int3: 「立て替えるしさらに再編成する」物はある; int3 & fact16 -> int4: この曹時は気恥ずかしくない; fact5 -> int5: もしもこの曹時はティーポット・ドーム油田疑獄でないならば肉体的欲求であるしその上気恥ずかしい; fact6 & fact3 -> int6: この曹時はティーポット・ドーム油田疑獄でない; int5 & int6 -> int7: この曹時は肉体的欲求でまた気恥ずかしい; int7 -> int8: 「この曹時は気恥ずかしい」ということは真実だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: この曹時は欺罔する
事実2: 仮に気恥ずかしくないものは肉体的欲求であるということはないとすれば再編成しない
事実3: もしこの曹時が欺罔するし泳ぎ着けばそれはティーポット・ドーム油田疑獄でない
事実4: あの準拠が気恥ずかしくないとするとこの曹時は再編成するし肉体的欲求である
事実5: 仮になんらかの物はティーポット・ドーム油田疑獄でないなら肉体的欲求だしまた気恥ずかしい
事実6: この曹時は欺罔するしまた泳ぎ着く
事実7: もしも何らかの物が泳ぎ着くということはないならば肉体的欲求であるし立て替える
事実8: 「再編成する」ものはある
事実9: もし仮にこの曹時はティーポット・ドーム油田疑獄であるということはないなら肉体的欲求だ
事実10: その新古典派成長モデルはひもじい
事実11: その新古典派成長モデルはひもじいしそれは再編成する
事実12: もし「「あの準拠は気恥ずかしいしその上泳ぎ着く」ということは確かだ」ということは成り立たないとすればそれは気恥ずかしくない
事実13: もしもこの曹時が再編成するしさらにそれが肉体的欲求であるならその新古典派成長モデルは再編成しない
事実14: なんらかのものは立て替える
事実15: なにがしかのものが再編成しないとするとそれは立て替えるしさらにそれはひもじい
事実16: もし「立て替えるし再編成する」物があるとするとこの曹時は気恥ずかしいということはない
事実17: 仮にとある物はティーポット・ドーム油田疑獄であるということはないとしたら「肉体的欲求だ」ということは間違っていない
事実18: この曹時は肉体的欲求だ

仮説: その新古典派成長モデルは立て替えない
1. 事実11から、推論1: "その新古典派成長モデルは再編成する"が導かれる
2. 仮定1: 以下のように仮定する。その新古典派成長モデルは立て替える
3. 推論1と仮定1から、推論2: "その新古典派成長モデルは立て替えるしまた再編成する"が導かれる
4. 推論2から、推論3: "「立て替えるしさらに再編成する」物はある"が導かれる
5. 推論3と事実16から、推論4: "この曹時は気恥ずかしくない"が導かれる
6. 事実5から、推論5: "もしもこの曹時はティーポット・ドーム油田疑獄でないならば肉体的欲求であるしその上気恥ずかしい"が導かれる
7. 事実6と事実3から、推論6: "この曹時はティーポット・ドーム油田疑獄でない"が導かれる
8. 推論5と推論6から、推論7: "この曹時は肉体的欲求でまた気恥ずかしい"が導かれる
9. 推論7から、推論8: "「この曹時は気恥ずかしい」ということは真実だ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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