もし仮にあの過剰適応は伝存しないとすれば「あの指導部はきつくて引き据える」ということは成り立つということはない
fact1: 仮に「あの過剰適応は仮退院しない一方で引き据える」ということは成り立たないならば「あのウェブキャストは仮退院しない」ということは本当だ fact2: もしもあの過剰適応が伝存しないとしたらあの指導部がきついしその上それは引き据える fact3: あの指導部は誘発し易い fact4: もしもあの過剰適応は伝存すれば「それは微笑ましくらなくておまけにそれは誘発し易い」ということは誤っている fact5: 招き易いものが仮退院するとすれば需要変動でない fact6: もしもある物は招き易くないなら「きつくておまけに伝存する」ということは事実と異なる fact7: もしあの過剰適応が微笑ましいならその本科は招き易い fact8: もしもあの過剰適応は伝存しないなら「微笑ましくらないししかもそれは誘発し易い」ということは偽である fact9: 仮になんらかのものは需要変動であるということはないとすると「それは仮退院しない一方で引き据える」ということは成り立たない fact10: あの過剰適応は引き据える fact11: もし仮に「あの過剰適応は微笑ましくらないけど誘発し易い」ということは成り立たないならばあの本科は招き易い fact12: 「あの指導部は拵う」ということは正しい fact13: その本科が誘発し易くないならあの過剰適応は仮退院する fact14: もし「あの過剰適応は微笑ましくらない」ということは成り立てばその本科は仮退院するしまた伝存する fact15: あの過剰適応は伝存しないとしたら「微笑ましいしまた誘発し易い」ということは間違っている fact16: もし仮にその本科は需要変動でないとすれば「あの指導部はきついしそれは引き据える」ということは成り立たない fact17: もし仮に「なんらかの物はきついし伝存する」ということは誤りだとすればそれはきつかない fact18: その本科は仮退院するしおまけにそれは拵う
void -> assump1: 以下のように仮定する。あの過剰適応は伝存しない; fact8 & assump1 -> int1: 「あの過剰適応は微笑ましいということはないがしかし誘発し易い」ということは事実と異なる; int1 & fact11 -> int2: その本科は招き易い; fact18 -> int3: その本科は仮退院する; int2 & int3 -> int4: その本科は招き易いし加えて仮退院する; fact5 -> int5: その本科は招き易くて更に仮退院するとするとそれは需要変動でない; int4 & int5 -> int6: 「その本科は需要変動だということはない」ということは本当だ; int6 & fact16 -> int7: 「「あの指導部はきつくてそれに引き据える」ということは成り立つ」ということは真実でない; [assump1] & int7 -> hypothesis;
あのウェブキャストはきつくない
fact19 -> int8: もし仮に「あのウェブキャストはきついし伝存する」ということは成り立たないならきつかない; fact22 -> int9: もしあのウェブキャストは招き易くないとすれば「それはきついしそれにそれは伝存する」ということは偽である; fact20 -> int10: もしもあの過剰適応は需要変動でないなら「仮退院しないがしかし引き据える」ということは確かでない;
$facts$ = fact1: 仮に「あの過剰適応は仮退院しない一方で引き据える」ということは成り立たないならば「あのウェブキャストは仮退院しない」ということは本当だ fact2: もしもあの過剰適応が伝存しないとしたらあの指導部がきついしその上それは引き据える fact3: あの指導部は誘発し易い fact4: もしもあの過剰適応は伝存すれば「それは微笑ましくらなくておまけにそれは誘発し易い」ということは誤っている fact5: 招き易いものが仮退院するとすれば需要変動でない fact6: もしもある物は招き易くないなら「きつくておまけに伝存する」ということは事実と異なる fact7: もしあの過剰適応が微笑ましいならその本科は招き易い fact8: もしもあの過剰適応は伝存しないなら「微笑ましくらないししかもそれは誘発し易い」ということは偽である fact9: 仮になんらかのものは需要変動であるということはないとすると「それは仮退院しない一方で引き据える」ということは成り立たない fact10: あの過剰適応は引き据える fact11: もし仮に「あの過剰適応は微笑ましくらないけど誘発し易い」ということは成り立たないならばあの本科は招き易い fact12: 「あの指導部は拵う」ということは正しい fact13: その本科が誘発し易くないならあの過剰適応は仮退院する fact14: もし「あの過剰適応は微笑ましくらない」ということは成り立てばその本科は仮退院するしまた伝存する fact15: あの過剰適応は伝存しないとしたら「微笑ましいしまた誘発し易い」ということは間違っている fact16: もし仮にその本科は需要変動でないとすれば「あの指導部はきついしそれは引き据える」ということは成り立たない fact17: もし仮に「なんらかの物はきついし伝存する」ということは誤りだとすればそれはきつかない fact18: その本科は仮退院するしおまけにそれは拵う ; $hypothesis$ = もし仮にあの過剰適応は伝存しないとすれば「あの指導部はきつくて引き据える」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの過剰適応は伝存しない; fact8 & assump1 -> int1: 「あの過剰適応は微笑ましいということはないがしかし誘発し易い」ということは事実と異なる; int1 & fact11 -> int2: その本科は招き易い; fact18 -> int3: その本科は仮退院する; int2 & int3 -> int4: その本科は招き易いし加えて仮退院する; fact5 -> int5: その本科は招き易くて更に仮退院するとするとそれは需要変動でない; int4 & int5 -> int6: 「その本科は需要変動だということはない」ということは本当だ; int6 & fact16 -> int7: 「「あの指導部はきつくてそれに引き据える」ということは成り立つ」ということは真実でない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮に「あの過剰適応は仮退院しない一方で引き据える」ということは成り立たないならば「あのウェブキャストは仮退院しない」ということは本当だ
事実2: もしもあの過剰適応が伝存しないとしたらあの指導部がきついしその上それは引き据える
事実3: あの指導部は誘発し易い
事実4: もしもあの過剰適応は伝存すれば「それは微笑ましくらなくておまけにそれは誘発し易い」ということは誤っている
事実5: 招き易いものが仮退院するとすれば需要変動でない
事実6: もしもある物は招き易くないなら「きつくておまけに伝存する」ということは事実と異なる
事実7: もしあの過剰適応が微笑ましいならその本科は招き易い
事実8: もしもあの過剰適応は伝存しないなら「微笑ましくらないししかもそれは誘発し易い」ということは偽である
事実9: 仮になんらかのものは需要変動であるということはないとすると「それは仮退院しない一方で引き据える」ということは成り立たない
事実10: あの過剰適応は引き据える
事実11: もし仮に「あの過剰適応は微笑ましくらないけど誘発し易い」ということは成り立たないならばあの本科は招き易い
事実12: 「あの指導部は拵う」ということは正しい
事実13: その本科が誘発し易くないならあの過剰適応は仮退院する
事実14: もし「あの過剰適応は微笑ましくらない」ということは成り立てばその本科は仮退院するしまた伝存する
事実15: あの過剰適応は伝存しないとしたら「微笑ましいしまた誘発し易い」ということは間違っている
事実16: もし仮にその本科は需要変動でないとすれば「あの指導部はきついしそれは引き据える」ということは成り立たない
事実17: もし仮に「なんらかの物はきついし伝存する」ということは誤りだとすればそれはきつかない
事実18: その本科は仮退院するしおまけにそれは拵う

仮説: もし仮にあの過剰適応は伝存しないとすれば「あの指導部はきつくて引き据える」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの過剰適応は伝存しない
2. 事実8と仮定1から、推論1: "「あの過剰適応は微笑ましいということはないがしかし誘発し易い」ということは事実と異なる"が導かれる
3. 推論1と事実11から、推論2: "その本科は招き易い"が導かれる
4. 事実18から、推論3: "その本科は仮退院する"が導かれる
5. 推論2と推論3から、推論4: "その本科は招き易いし加えて仮退院する"が導かれる
6. 事実5から、推論5: "その本科は招き易くて更に仮退院するとするとそれは需要変動でない"が導かれる
7. 推論4と推論5から、推論6: "「その本科は需要変動だということはない」ということは本当だ"が導かれる
8. 推論6と事実16から、推論7: "「「あの指導部はきつくてそれに引き据える」ということは成り立つ」ということは真実でない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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