もしもあのテルグ語が信心深いならばあの政策変数は生じ難い
fact1: もしも「この同業他社は近くない一方で柔道クラブだ」ということは間違いだとすると「あの政策変数は近くない」ということは正しい fact2: もしもあるものは近いということはないとすると「定性であるしおまけに疲労し易い」ということは誤っている fact3: もし仮になんらかのものは結び合わせば「それは近くない一方で柔道クラブだ」ということは成り立たない fact4: もし「「あの政策変数は信心深いけど奨学金であるということはない」ということは事実である」ということは偽なら生じ難くない fact5: あのテルグ語は生じ難くない fact6: 仮にあのテルグ語は近いとしたら「この乗務員達は近くない」ということは成り立つ fact7: もしもあの政策変数が生じ難くないしまた近くないとしたらあのテルグ語は近い fact8: もしこの仏像彫刻は強硬論でないならば「この同業他社は抜根でなくて結び合わさない」ということは事実と異なる fact9: もし仮に「あるものは抜根でなくて加えて結び合わすということはない」ということは成り立つということはないとすれば結び合わす fact10: この乗務員達は近い fact11: あの政策変数が疲労し易くないならこの乗務員達は生じ難い fact12: 「もし「その踵腓靱帯は職業労働一般でない」ということは成り立つとしたら「「あの政策変数は信心深い一方でそれは奨学金でない」ということは真実だ」ということは間違いだ」ということは確かだ fact13: もしも「とあるものが定性だしその上疲労し易い」ということは嘘であるなら定性でない fact14: もしもこの乗務員達が近いしその上疲労し易いとするとあのテルグ語は信心深くない fact15: その踵腓靱帯は職業労働一般でない fact16: もしもこの乗務員達が疲労し易くないならばあの政策変数は生じ難い fact17: あの政策変数は信心深いということはない
void -> assump1: 以下のように仮定する。この乗務員達は疲労し易い; fact10 & assump1 -> int1: この乗務員達は近いし更に疲労し易い; int1 & fact14 -> int2: あのテルグ語は信心深くない; void -> assump2: 以下のように仮定する。あのテルグ語は信心深い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この乗務員達は疲労し易いということはない; int4 & fact16 -> int5: あの政策変数は生じ難い; [assump2] & int5 -> hypothesis;
この乗務員達は定性でない
fact20 -> int6: もし「この乗務員達は定性であるし加えて疲労し易い」ということは間違いであるとしたら定性でない; fact24 -> int7: もしもこの乗務員達は近くないとすれば「定性であるし疲労し易い」ということは成り立たない; fact19 & fact27 -> int8: 「あの政策変数は信心深いけれどそれは奨学金でない」ということは事実と異なる; fact25 & int8 -> int9: あの政策変数は生じ難くない; fact23 -> int10: この同業他社は結び合わすとすれば「近くないしそれは柔道クラブである」ということは間違っている; fact18 -> int11: もしも「この同業他社は抜根であるということはないしその上結び合わさない」ということは誤っているとすればそれは結び合わす;
$facts$ = fact1: もしも「この同業他社は近くない一方で柔道クラブだ」ということは間違いだとすると「あの政策変数は近くない」ということは正しい fact2: もしもあるものは近いということはないとすると「定性であるしおまけに疲労し易い」ということは誤っている fact3: もし仮になんらかのものは結び合わせば「それは近くない一方で柔道クラブだ」ということは成り立たない fact4: もし「「あの政策変数は信心深いけど奨学金であるということはない」ということは事実である」ということは偽なら生じ難くない fact5: あのテルグ語は生じ難くない fact6: 仮にあのテルグ語は近いとしたら「この乗務員達は近くない」ということは成り立つ fact7: もしもあの政策変数が生じ難くないしまた近くないとしたらあのテルグ語は近い fact8: もしこの仏像彫刻は強硬論でないならば「この同業他社は抜根でなくて結び合わさない」ということは事実と異なる fact9: もし仮に「あるものは抜根でなくて加えて結び合わすということはない」ということは成り立つということはないとすれば結び合わす fact10: この乗務員達は近い fact11: あの政策変数が疲労し易くないならこの乗務員達は生じ難い fact12: 「もし「その踵腓靱帯は職業労働一般でない」ということは成り立つとしたら「「あの政策変数は信心深い一方でそれは奨学金でない」ということは真実だ」ということは間違いだ」ということは確かだ fact13: もしも「とあるものが定性だしその上疲労し易い」ということは嘘であるなら定性でない fact14: もしもこの乗務員達が近いしその上疲労し易いとするとあのテルグ語は信心深くない fact15: その踵腓靱帯は職業労働一般でない fact16: もしもこの乗務員達が疲労し易くないならばあの政策変数は生じ難い fact17: あの政策変数は信心深いということはない ; $hypothesis$ = もしもあのテルグ語が信心深いならばあの政策変数は生じ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この乗務員達は疲労し易い; fact10 & assump1 -> int1: この乗務員達は近いし更に疲労し易い; int1 & fact14 -> int2: あのテルグ語は信心深くない; void -> assump2: 以下のように仮定する。あのテルグ語は信心深い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この乗務員達は疲労し易いということはない; int4 & fact16 -> int5: あの政策変数は生じ難い; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もしも「この同業他社は近くない一方で柔道クラブだ」ということは間違いだとすると「あの政策変数は近くない」ということは正しい
事実2: もしもあるものは近いということはないとすると「定性であるしおまけに疲労し易い」ということは誤っている
事実3: もし仮になんらかのものは結び合わせば「それは近くない一方で柔道クラブだ」ということは成り立たない
事実4: もし「「あの政策変数は信心深いけど奨学金であるということはない」ということは事実である」ということは偽なら生じ難くない
事実5: あのテルグ語は生じ難くない
事実6: 仮にあのテルグ語は近いとしたら「この乗務員達は近くない」ということは成り立つ
事実7: もしもあの政策変数が生じ難くないしまた近くないとしたらあのテルグ語は近い
事実8: もしこの仏像彫刻は強硬論でないならば「この同業他社は抜根でなくて結び合わさない」ということは事実と異なる
事実9: もし仮に「あるものは抜根でなくて加えて結び合わすということはない」ということは成り立つということはないとすれば結び合わす
事実10: この乗務員達は近い
事実11: あの政策変数が疲労し易くないならこの乗務員達は生じ難い
事実12: 「もし「その踵腓靱帯は職業労働一般でない」ということは成り立つとしたら「「あの政策変数は信心深い一方でそれは奨学金でない」ということは真実だ」ということは間違いだ」ということは確かだ
事実13: もしも「とあるものが定性だしその上疲労し易い」ということは嘘であるなら定性でない
事実14: もしもこの乗務員達が近いしその上疲労し易いとするとあのテルグ語は信心深くない
事実15: その踵腓靱帯は職業労働一般でない
事実16: もしもこの乗務員達が疲労し易くないならばあの政策変数は生じ難い
事実17: あの政策変数は信心深いということはない

仮説: もしもあのテルグ語が信心深いならばあの政策変数は生じ難い
1. 仮定1: 以下のように仮定する。この乗務員達は疲労し易い
2. 事実10と仮定1から、推論1: "この乗務員達は近いし更に疲労し易い"が導かれる
3. 推論1と事実14から、推論2: "あのテルグ語は信心深くない"が導かれる
4. 仮定2: 以下のように仮定する。あのテルグ語は信心深い
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この乗務員達は疲労し易いということはない"が導かれる
7. 推論4と事実16から、推論5: "あの政策変数は生じ難い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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