「あの価格弾力性は弾力性でなくてそれは転送しない」ということは本当でない
fact1: もしこの鼬が腹筋力でないしその上それはオプションフィールドでないとしたら「あのパワーグラフは掬い綴じする」ということは事実である fact2: 腹筋力は弾力性でなくてそれに転送しない fact3: この鼬は腹筋力だとしたら「この第十二飛行教育団は絶え間無くないししかも芽摘みするということはない」ということは成り立たない fact4: もしもこの第十二飛行教育団は腹筋力であるとすると芽摘みする fact5: もしもあるものがオプションフィールドだとしたら腹筋力だ fact6: 仮に「この第十二飛行教育団は絶え間無くないししかも芽摘みしない」ということは間違いだとすると「そのＷＥは絶え間無い」ということは真実だ fact7: あのパワーグラフは転送するとしたら「あの価格弾力性は弾力性であるということはなくてそれは転送しない」ということは成り立つということはない fact8: 仮になにがしかのものが掬い綴じするとするとそれは転送する fact9: もしも「この第十二飛行教育団は芽摘みするしその上絶え間無い」ということは成り立たないとすればそれは芽摘みしない fact10: もしもこの第十二飛行教育団が腹筋力でないならこの鼬は腹筋力であるということはなくておまけにオプションフィールドでない fact11: 仮にあのパワーグラフはオプションフィールドなら「この鼬はオプションフィールドである」ということは事実と異ならない fact12: 「もしなにがしかのものは証券業務だとすると「掬い綴じするし転送しない」ということは誤っている」ということは事実である fact13: 「「この第十二飛行教育団は芽摘みするしそれに絶え間無い」ということは嘘だ」ということは確かだ fact14: もしもなんらかの物は弾力性であるとすると「証券業務である」ということは成り立つ
void -> assump1: 以下のように仮定する。「この第十二飛行教育団は腹筋力である」ということは事実だ; fact4 & assump1 -> int1: この第十二飛行教育団は芽摘みする; fact9 & fact13 -> int2: この第十二飛行教育団は芽摘みしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第十二飛行教育団は腹筋力でない; int4 & fact10 -> int5: この鼬は腹筋力だということはないしまたそれはオプションフィールドでない; int5 & fact1 -> int6: あのパワーグラフは掬い綴じする; fact8 -> int7: もしも「あのパワーグラフは掬い綴じする」ということは成り立つならそれは転送する; int6 & int7 -> int8: あのパワーグラフは転送する; int8 & fact7 -> hypothesis;
そのＷＥは絶え間無い
fact18 -> int9: もし仮にこの鼬がオプションフィールドならそれは腹筋力である; fact20 -> int10: あの価格弾力性は証券業務なら「それは掬い綴じするし更に転送しない」ということは間違っている; fact16 -> int11: もし仮にあの価格弾力性が弾力性だとすればそれは証券業務だ;
$facts$ = fact1: もしこの鼬が腹筋力でないしその上それはオプションフィールドでないとしたら「あのパワーグラフは掬い綴じする」ということは事実である fact2: 腹筋力は弾力性でなくてそれに転送しない fact3: この鼬は腹筋力だとしたら「この第十二飛行教育団は絶え間無くないししかも芽摘みするということはない」ということは成り立たない fact4: もしもこの第十二飛行教育団は腹筋力であるとすると芽摘みする fact5: もしもあるものがオプションフィールドだとしたら腹筋力だ fact6: 仮に「この第十二飛行教育団は絶え間無くないししかも芽摘みしない」ということは間違いだとすると「そのＷＥは絶え間無い」ということは真実だ fact7: あのパワーグラフは転送するとしたら「あの価格弾力性は弾力性であるということはなくてそれは転送しない」ということは成り立つということはない fact8: 仮になにがしかのものが掬い綴じするとするとそれは転送する fact9: もしも「この第十二飛行教育団は芽摘みするしその上絶え間無い」ということは成り立たないとすればそれは芽摘みしない fact10: もしもこの第十二飛行教育団が腹筋力でないならこの鼬は腹筋力であるということはなくておまけにオプションフィールドでない fact11: 仮にあのパワーグラフはオプションフィールドなら「この鼬はオプションフィールドである」ということは事実と異ならない fact12: 「もしなにがしかのものは証券業務だとすると「掬い綴じするし転送しない」ということは誤っている」ということは事実である fact13: 「「この第十二飛行教育団は芽摘みするしそれに絶え間無い」ということは嘘だ」ということは確かだ fact14: もしもなんらかの物は弾力性であるとすると「証券業務である」ということは成り立つ ; $hypothesis$ = 「あの価格弾力性は弾力性でなくてそれは転送しない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この第十二飛行教育団は腹筋力である」ということは事実だ; fact4 & assump1 -> int1: この第十二飛行教育団は芽摘みする; fact9 & fact13 -> int2: この第十二飛行教育団は芽摘みしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第十二飛行教育団は腹筋力でない; int4 & fact10 -> int5: この鼬は腹筋力だということはないしまたそれはオプションフィールドでない; int5 & fact1 -> int6: あのパワーグラフは掬い綴じする; fact8 -> int7: もしも「あのパワーグラフは掬い綴じする」ということは成り立つならそれは転送する; int6 & int7 -> int8: あのパワーグラフは転送する; int8 & fact7 -> hypothesis; __PROVED__
事実1: もしこの鼬が腹筋力でないしその上それはオプションフィールドでないとしたら「あのパワーグラフは掬い綴じする」ということは事実である
事実2: 腹筋力は弾力性でなくてそれに転送しない
事実3: この鼬は腹筋力だとしたら「この第十二飛行教育団は絶え間無くないししかも芽摘みするということはない」ということは成り立たない
事実4: もしもこの第十二飛行教育団は腹筋力であるとすると芽摘みする
事実5: もしもあるものがオプションフィールドだとしたら腹筋力だ
事実6: 仮に「この第十二飛行教育団は絶え間無くないししかも芽摘みしない」ということは間違いだとすると「そのＷＥは絶え間無い」ということは真実だ
事実7: あのパワーグラフは転送するとしたら「あの価格弾力性は弾力性であるということはなくてそれは転送しない」ということは成り立つということはない
事実8: 仮になにがしかのものが掬い綴じするとするとそれは転送する
事実9: もしも「この第十二飛行教育団は芽摘みするしその上絶え間無い」ということは成り立たないとすればそれは芽摘みしない
事実10: もしもこの第十二飛行教育団が腹筋力でないならこの鼬は腹筋力であるということはなくておまけにオプションフィールドでない
事実11: 仮にあのパワーグラフはオプションフィールドなら「この鼬はオプションフィールドである」ということは事実と異ならない
事実12: 「もしなにがしかのものは証券業務だとすると「掬い綴じするし転送しない」ということは誤っている」ということは事実である
事実13: 「「この第十二飛行教育団は芽摘みするしそれに絶え間無い」ということは嘘だ」ということは確かだ
事実14: もしもなんらかの物は弾力性であるとすると「証券業務である」ということは成り立つ

仮説: 「あの価格弾力性は弾力性でなくてそれは転送しない」ということは本当でない
1. 仮定1: 以下のように仮定する。「この第十二飛行教育団は腹筋力である」ということは事実だ
2. 事実4と仮定1から、推論1: "この第十二飛行教育団は芽摘みする"が導かれる
3. 事実9と事実13から、推論2: "この第十二飛行教育団は芽摘みしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この第十二飛行教育団は腹筋力でない"が導かれる
6. 推論4と事実10から、推論5: "この鼬は腹筋力だということはないしまたそれはオプションフィールドでない"が導かれる
7. 推論5と事実1から、推論6: "あのパワーグラフは掬い綴じする"が導かれる
8. 事実8から、推論7: "もしも「あのパワーグラフは掬い綴じする」ということは成り立つならそれは転送する"が導かれる
9. 推論6と推論7から、推論8: "あのパワーグラフは転送する"が導かれる
10. 推論8と事実7から、仮説が導かれる

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