この取り扱い高がドイツ留学でないとしたらその教育課程全体は確りし為さるしそれは投げる
fact1: その教育課程全体は管理方式だ fact2: 「あの株立ちは愛故だということはなくてそれにそれはドイツ留学でない」ということは成り立たない fact3: もしも「この取り扱い高はドイツ留学でない」ということは成り立つとしたら「それは管理方式でないし相談し易いということはない」ということは事実と異なる fact4: 「その教育課程全体は相談し易くないしさらにタブー視しない」ということは誤りである fact5: 全てのものはタブー視する fact6: もしも「何かは確りし為さるかもしくは投げる」ということは間違っているとするとそれはドイツ留学でない fact7: すべてのものはタブー視するししかも投げる fact8: 「この取り扱い高は管理方式でないけれどそれは相談し易い」ということは間違いである fact9: もし「この取り扱い高は不敗であるか人的要素でない」ということは成り立たないとすれば「それはタブー視する」ということは成り立つ fact10: もし仮にあるものはタブー視しないなら「確りし為さるかまたは投げるかもしくはどちらもだ」ということは偽だ fact11: この取り扱い高が管理方式でないならその教育課程全体がドイツ留学だしさらに投げる fact12: もし仮にその教育課程全体がタブー視しないとしたらこの取り扱い高は確りし為さるしかつ投げる fact13: もしも「この取り扱い高は管理方式でないしそれは相談し易くない」ということは嘘ならばその教育課程全体は確りし為さる fact14: 仮にこの取り扱い高はドイツ留学でないならば「管理方式であるが相談し易くない」ということは本当でない fact15: この小窓は管理方式だ fact16: その教育課程全体はタブー視する fact17: 「この取り扱い高は管理方式である一方で相談し易くない」ということは成り立たない
void -> assump1: 以下のように仮定する。この取り扱い高はドイツ留学でない; fact3 & assump1 -> int1: 「この取り扱い高は管理方式でないし更に相談し易いということはない」ということは成り立たない; int1 & fact13 -> int2: その教育課程全体は確りし為さる; fact7 -> int3: その教育課程全体はタブー視するしかつ投げる; int3 -> int4: 「その教育課程全体は投げる」ということは確かである; int2 & int4 -> int5: その教育課程全体は確りし為さるししかも投げる; [assump1] & int5 -> hypothesis;
あの好転はドイツ留学でない
fact19 -> int6: もしも「「あの好転は確りし為さるかまたはそれは投げる」ということは成り立たない」ということは偽であるということはないとするとドイツ留学でない; fact20 -> int7: もし仮にあの好転はタブー視しないとしたら「それは確りし為さるかあるいはそれは投げるかまたは両方ともだ」ということは嘘である;
$facts$ = fact1: その教育課程全体は管理方式だ fact2: 「あの株立ちは愛故だということはなくてそれにそれはドイツ留学でない」ということは成り立たない fact3: もしも「この取り扱い高はドイツ留学でない」ということは成り立つとしたら「それは管理方式でないし相談し易いということはない」ということは事実と異なる fact4: 「その教育課程全体は相談し易くないしさらにタブー視しない」ということは誤りである fact5: 全てのものはタブー視する fact6: もしも「何かは確りし為さるかもしくは投げる」ということは間違っているとするとそれはドイツ留学でない fact7: すべてのものはタブー視するししかも投げる fact8: 「この取り扱い高は管理方式でないけれどそれは相談し易い」ということは間違いである fact9: もし「この取り扱い高は不敗であるか人的要素でない」ということは成り立たないとすれば「それはタブー視する」ということは成り立つ fact10: もし仮にあるものはタブー視しないなら「確りし為さるかまたは投げるかもしくはどちらもだ」ということは偽だ fact11: この取り扱い高が管理方式でないならその教育課程全体がドイツ留学だしさらに投げる fact12: もし仮にその教育課程全体がタブー視しないとしたらこの取り扱い高は確りし為さるしかつ投げる fact13: もしも「この取り扱い高は管理方式でないしそれは相談し易くない」ということは嘘ならばその教育課程全体は確りし為さる fact14: 仮にこの取り扱い高はドイツ留学でないならば「管理方式であるが相談し易くない」ということは本当でない fact15: この小窓は管理方式だ fact16: その教育課程全体はタブー視する fact17: 「この取り扱い高は管理方式である一方で相談し易くない」ということは成り立たない ; $hypothesis$ = この取り扱い高がドイツ留学でないとしたらその教育課程全体は確りし為さるしそれは投げる ; $proof$ = 
void -> assump1: 以下のように仮定する。この取り扱い高はドイツ留学でない; fact3 & assump1 -> int1: 「この取り扱い高は管理方式でないし更に相談し易いということはない」ということは成り立たない; int1 & fact13 -> int2: その教育課程全体は確りし為さる; fact7 -> int3: その教育課程全体はタブー視するしかつ投げる; int3 -> int4: 「その教育課程全体は投げる」ということは確かである; int2 & int4 -> int5: その教育課程全体は確りし為さるししかも投げる; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その教育課程全体は管理方式だ
事実2: 「あの株立ちは愛故だということはなくてそれにそれはドイツ留学でない」ということは成り立たない
事実3: もしも「この取り扱い高はドイツ留学でない」ということは成り立つとしたら「それは管理方式でないし相談し易いということはない」ということは事実と異なる
事実4: 「その教育課程全体は相談し易くないしさらにタブー視しない」ということは誤りである
事実5: 全てのものはタブー視する
事実6: もしも「何かは確りし為さるかもしくは投げる」ということは間違っているとするとそれはドイツ留学でない
事実7: すべてのものはタブー視するししかも投げる
事実8: 「この取り扱い高は管理方式でないけれどそれは相談し易い」ということは間違いである
事実9: もし「この取り扱い高は不敗であるか人的要素でない」ということは成り立たないとすれば「それはタブー視する」ということは成り立つ
事実10: もし仮にあるものはタブー視しないなら「確りし為さるかまたは投げるかもしくはどちらもだ」ということは偽だ
事実11: この取り扱い高が管理方式でないならその教育課程全体がドイツ留学だしさらに投げる
事実12: もし仮にその教育課程全体がタブー視しないとしたらこの取り扱い高は確りし為さるしかつ投げる
事実13: もしも「この取り扱い高は管理方式でないしそれは相談し易くない」ということは嘘ならばその教育課程全体は確りし為さる
事実14: 仮にこの取り扱い高はドイツ留学でないならば「管理方式であるが相談し易くない」ということは本当でない
事実15: この小窓は管理方式だ
事実16: その教育課程全体はタブー視する
事実17: 「この取り扱い高は管理方式である一方で相談し易くない」ということは成り立たない

仮説: この取り扱い高がドイツ留学でないとしたらその教育課程全体は確りし為さるしそれは投げる
1. 仮定1: 以下のように仮定する。この取り扱い高はドイツ留学でない
2. 事実3と仮定1から、推論1: "「この取り扱い高は管理方式でないし更に相談し易いということはない」ということは成り立たない"が導かれる
3. 推論1と事実13から、推論2: "その教育課程全体は確りし為さる"が導かれる
4. 事実7から、推論3: "その教育課程全体はタブー視するしかつ投げる"が導かれる
5. 推論3から、推論4: "「その教育課程全体は投げる」ということは確かである"が導かれる
6. 推論2と推論4から、推論5: "その教育課程全体は確りし為さるししかも投げる"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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