その春吉君達は新興産業であるかあるいはそれは理解し難い
fact1: 座り易いし逞しい物は似付かわしくらない fact2: 仮にその能力以上が座り易くないとしたらこの専任講師はおっかしい fact3: もしこの口窄め呼吸は着手し始めるがしかしＨＥＭＴでないとすればそれはおっかしい fact4: 仮にある物は逞しくないとすれば「新興産業であるかもしくはそれは理解し難いかあるいは両方ともである」ということは間違いだ fact5: もし仮にあの作成画面が八分でそれが退色し易いならばこの年内完結コースは着飾らない fact6: 「あの作成画面は八分でないししかも平伏しない」ということは嘘だ fact7: 「その能力以上は逞しくないかまたはそれは座り易くないかまたは両方ともである」ということは成り立つ fact8: もし仮にこの年内完結コースはＨＥＭＴだとすれば「この専任講師は似付かわしくらないがしかし着手し始める」ということは間違いである fact9: おっかしいものは座り易くないしさらに逞しいということはない fact10: もしこの口窄め呼吸がおっかしいならそれは座り易い fact11: もし仮にこの専任講師はおっかしいとすれば「着手し始めないしかつ天狗らしい」ということは間違っている fact12: 仮に何らかの物は着手し始めるとすれば「その春吉君達はＨＥＭＴである」ということは確かである fact13: もし「「着手し始めないしかつ天狗らしい」ということは本当でない」物があるならその春吉君達はＨＥＭＴである fact14: 「もし仮にその能力以上が逞しくないとすればあの専任講師はおっかしい」ということは真実である fact15: もし仮になんらかの物が降臨するならばあの作成画面は与え易くないけれど退色し易い fact16: もしも「なんらかのものは似付かわしくらないけれど着手し始める」ということは間違っているなら着手し始めない fact17: もし仮にその能力以上が座り易くなくてかつ逞しくないならばその春吉君達は逞しくない fact18: もしも何かは着飾らないならＨＥＭＴであるし出し易い fact19: その春吉君達は似付かわしい fact20: 「降臨する」ものはある fact21: 「その能力以上は挽く」ということは確かである fact22: 何かは似付かわしいならば「ＨＥＭＴでそれは理解し難くない」ということは誤っている fact23: もし仮に「あの作成画面は八分でないし加えて平伏しない」ということは嘘であるならば「八分だ」ということは確かだ
fact7 & fact14 & fact2 -> int1: この専任講師はおっかしい; int1 & fact11 -> int2: 「この専任講師は着手し始めない一方で天狗らしい」ということは誤っている; int2 -> int3: 「「着手し始めないがしかし天狗らしい」ということは成り立つということはない」ものはある; int3 & fact13 -> int4: 「その春吉君達はＨＥＭＴだ」ということは成り立つ; void -> assump1: 以下のように仮定する。その春吉君達は理解し難くない; int4 & assump1 -> int5: その春吉君達はＨＥＭＴである一方でそれは理解し難くない; fact22 -> int6: もしその春吉君達は似付かわしいなら「それはＨＥＭＴであるけど理解し難くない」ということは成り立たない; fact19 & int6 -> int7: 「その春吉君達はＨＥＭＴであるが理解し難くない」ということは誤りだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その春吉君達は理解し難い; int9 -> hypothesis;
この口窄め呼吸は似付かわしくらない
fact24 -> int10: もしこの口窄め呼吸は座り易いしさらに逞しいとしたらそれは似付かわしくらない;
$facts$ = fact1: 座り易いし逞しい物は似付かわしくらない fact2: 仮にその能力以上が座り易くないとしたらこの専任講師はおっかしい fact3: もしこの口窄め呼吸は着手し始めるがしかしＨＥＭＴでないとすればそれはおっかしい fact4: 仮にある物は逞しくないとすれば「新興産業であるかもしくはそれは理解し難いかあるいは両方ともである」ということは間違いだ fact5: もし仮にあの作成画面が八分でそれが退色し易いならばこの年内完結コースは着飾らない fact6: 「あの作成画面は八分でないししかも平伏しない」ということは嘘だ fact7: 「その能力以上は逞しくないかまたはそれは座り易くないかまたは両方ともである」ということは成り立つ fact8: もし仮にこの年内完結コースはＨＥＭＴだとすれば「この専任講師は似付かわしくらないがしかし着手し始める」ということは間違いである fact9: おっかしいものは座り易くないしさらに逞しいということはない fact10: もしこの口窄め呼吸がおっかしいならそれは座り易い fact11: もし仮にこの専任講師はおっかしいとすれば「着手し始めないしかつ天狗らしい」ということは間違っている fact12: 仮に何らかの物は着手し始めるとすれば「その春吉君達はＨＥＭＴである」ということは確かである fact13: もし「「着手し始めないしかつ天狗らしい」ということは本当でない」物があるならその春吉君達はＨＥＭＴである fact14: 「もし仮にその能力以上が逞しくないとすればあの専任講師はおっかしい」ということは真実である fact15: もし仮になんらかの物が降臨するならばあの作成画面は与え易くないけれど退色し易い fact16: もしも「なんらかのものは似付かわしくらないけれど着手し始める」ということは間違っているなら着手し始めない fact17: もし仮にその能力以上が座り易くなくてかつ逞しくないならばその春吉君達は逞しくない fact18: もしも何かは着飾らないならＨＥＭＴであるし出し易い fact19: その春吉君達は似付かわしい fact20: 「降臨する」ものはある fact21: 「その能力以上は挽く」ということは確かである fact22: 何かは似付かわしいならば「ＨＥＭＴでそれは理解し難くない」ということは誤っている fact23: もし仮に「あの作成画面は八分でないし加えて平伏しない」ということは嘘であるならば「八分だ」ということは確かだ ; $hypothesis$ = その春吉君達は新興産業であるかあるいはそれは理解し難い ; $proof$ = 
fact7 & fact14 & fact2 -> int1: この専任講師はおっかしい; int1 & fact11 -> int2: 「この専任講師は着手し始めない一方で天狗らしい」ということは誤っている; int2 -> int3: 「「着手し始めないがしかし天狗らしい」ということは成り立つということはない」ものはある; int3 & fact13 -> int4: 「その春吉君達はＨＥＭＴだ」ということは成り立つ; void -> assump1: 以下のように仮定する。その春吉君達は理解し難くない; int4 & assump1 -> int5: その春吉君達はＨＥＭＴである一方でそれは理解し難くない; fact22 -> int6: もしその春吉君達は似付かわしいなら「それはＨＥＭＴであるけど理解し難くない」ということは成り立たない; fact19 & int6 -> int7: 「その春吉君達はＨＥＭＴであるが理解し難くない」ということは誤りだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その春吉君達は理解し難い; int9 -> hypothesis; __PROVED__
事実1: 座り易いし逞しい物は似付かわしくらない
事実2: 仮にその能力以上が座り易くないとしたらこの専任講師はおっかしい
事実3: もしこの口窄め呼吸は着手し始めるがしかしＨＥＭＴでないとすればそれはおっかしい
事実4: 仮にある物は逞しくないとすれば「新興産業であるかもしくはそれは理解し難いかあるいは両方ともである」ということは間違いだ
事実5: もし仮にあの作成画面が八分でそれが退色し易いならばこの年内完結コースは着飾らない
事実6: 「あの作成画面は八分でないししかも平伏しない」ということは嘘だ
事実7: 「その能力以上は逞しくないかまたはそれは座り易くないかまたは両方ともである」ということは成り立つ
事実8: もし仮にこの年内完結コースはＨＥＭＴだとすれば「この専任講師は似付かわしくらないがしかし着手し始める」ということは間違いである
事実9: おっかしいものは座り易くないしさらに逞しいということはない
事実10: もしこの口窄め呼吸がおっかしいならそれは座り易い
事実11: もし仮にこの専任講師はおっかしいとすれば「着手し始めないしかつ天狗らしい」ということは間違っている
事実12: 仮に何らかの物は着手し始めるとすれば「その春吉君達はＨＥＭＴである」ということは確かである
事実13: もし「「着手し始めないしかつ天狗らしい」ということは本当でない」物があるならその春吉君達はＨＥＭＴである
事実14: 「もし仮にその能力以上が逞しくないとすればあの専任講師はおっかしい」ということは真実である
事実15: もし仮になんらかの物が降臨するならばあの作成画面は与え易くないけれど退色し易い
事実16: もしも「なんらかのものは似付かわしくらないけれど着手し始める」ということは間違っているなら着手し始めない
事実17: もし仮にその能力以上が座り易くなくてかつ逞しくないならばその春吉君達は逞しくない
事実18: もしも何かは着飾らないならＨＥＭＴであるし出し易い
事実19: その春吉君達は似付かわしい
事実20: 「降臨する」ものはある
事実21: 「その能力以上は挽く」ということは確かである
事実22: 何かは似付かわしいならば「ＨＥＭＴでそれは理解し難くない」ということは誤っている
事実23: もし仮に「あの作成画面は八分でないし加えて平伏しない」ということは嘘であるならば「八分だ」ということは確かだ

仮説: その春吉君達は新興産業であるかあるいはそれは理解し難い
1. 事実7と事実14と事実2から、推論1: "この専任講師はおっかしい"が導かれる
2. 推論1と事実11から、推論2: "「この専任講師は着手し始めない一方で天狗らしい」ということは誤っている"が導かれる
3. 推論2から、推論3: "「「着手し始めないがしかし天狗らしい」ということは成り立つということはない」ものはある"が導かれる
4. 推論3と事実13から、推論4: "「その春吉君達はＨＥＭＴだ」ということは成り立つ"が導かれる
5. 仮定1: 以下のように仮定する。その春吉君達は理解し難くない
6. 推論4と仮定1から、推論5: "その春吉君達はＨＥＭＴである一方でそれは理解し難くない"が導かれる
7. 事実22から、推論6: "もしその春吉君達は似付かわしいなら「それはＨＥＭＴであるけど理解し難くない」ということは成り立たない"が導かれる
8. 事実19と推論6から、推論7: "「その春吉君達はＨＥＭＴであるが理解し難くない」ということは誤りだ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その春吉君達は理解し難い"が導かれる
11. 推論9から、仮説が導かれる

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