あの教科目は焼き込むけれど欲すない
fact1: あの教科目が嘆き悲しまないならばあの蒲鉾型は焼き込まない fact2: この平行線はえげつない fact3: この平行線はえげつなくないとすると「「あの教科目は焼き込むがしかし欲すない」ということは成り立つ」ということは間違っている fact4: あの教科目は焼き込む fact5: 「何らかの物は理解し易くてまたそれはウィーである」ということは間違いであるならば際どかない fact6: もし「あの蒲鉾型は焼き込むけどそれはえげつなくない」ということは誤りであるとするとこの平行線は椎体だ fact7: もし「あの蒲鉾型は際どい一方で嘆き悲しまない」ということは誤っているとすると嘆き悲しむ fact8: もしもあの蒲鉾型が焼き込まないとするとこの平行線は焼き込む一方でそれは嘆き悲しまない fact9: 「なんらかの物は嘆き悲しむしかつそれは椎体だ」ということは嘘だとすればえげつないということはない fact10: もしもこの平行線が焼き込まないとするとあの教科目は焼き込む一方で欲すない fact11: あの蒲鉾型は椎体だ fact12: もしもこの平行線は焼き込まないとすると「あの教科目は焼き込む」ということは本当である fact13: もしもあの蒲鉾型は椎体であるとすれば「際どいけれど嘆き悲しまない」ということは事実でない fact14: もし仮にこの平行線がえげつないしそれにそれが焼き込むならあの蒲鉾型は嘆き悲しまない
void -> assump1: 以下のように仮定する。この平行線は焼き込む; fact2 & assump1 -> int1: この平行線はえげつなくて加えて焼き込む; int1 & fact14 -> int2: あの蒲鉾型は嘆き悲しまない; fact13 & fact11 -> int3: 「あの蒲鉾型は際どいけれど嘆き悲しまない」ということは間違いである; int3 & fact7 -> int4: あの蒲鉾型は嘆き悲しむ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この平行線は焼き込まない; int6 & fact10 -> hypothesis;
「あの教科目は焼き込むがそれは欲すということはない」ということは成り立たない
fact16 -> int7: もし仮に「この平行線は嘆き悲しむしおまけに椎体だ」ということは偽ならばそれはえげつなくない;
$facts$ = fact1: あの教科目が嘆き悲しまないならばあの蒲鉾型は焼き込まない fact2: この平行線はえげつない fact3: この平行線はえげつなくないとすると「「あの教科目は焼き込むがしかし欲すない」ということは成り立つ」ということは間違っている fact4: あの教科目は焼き込む fact5: 「何らかの物は理解し易くてまたそれはウィーである」ということは間違いであるならば際どかない fact6: もし「あの蒲鉾型は焼き込むけどそれはえげつなくない」ということは誤りであるとするとこの平行線は椎体だ fact7: もし「あの蒲鉾型は際どい一方で嘆き悲しまない」ということは誤っているとすると嘆き悲しむ fact8: もしもあの蒲鉾型が焼き込まないとするとこの平行線は焼き込む一方でそれは嘆き悲しまない fact9: 「なんらかの物は嘆き悲しむしかつそれは椎体だ」ということは嘘だとすればえげつないということはない fact10: もしもこの平行線が焼き込まないとするとあの教科目は焼き込む一方で欲すない fact11: あの蒲鉾型は椎体だ fact12: もしもこの平行線は焼き込まないとすると「あの教科目は焼き込む」ということは本当である fact13: もしもあの蒲鉾型は椎体であるとすれば「際どいけれど嘆き悲しまない」ということは事実でない fact14: もし仮にこの平行線がえげつないしそれにそれが焼き込むならあの蒲鉾型は嘆き悲しまない ; $hypothesis$ = あの教科目は焼き込むけれど欲すない ; $proof$ = 
void -> assump1: 以下のように仮定する。この平行線は焼き込む; fact2 & assump1 -> int1: この平行線はえげつなくて加えて焼き込む; int1 & fact14 -> int2: あの蒲鉾型は嘆き悲しまない; fact13 & fact11 -> int3: 「あの蒲鉾型は際どいけれど嘆き悲しまない」ということは間違いである; int3 & fact7 -> int4: あの蒲鉾型は嘆き悲しむ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この平行線は焼き込まない; int6 & fact10 -> hypothesis; __PROVED__
事実1: あの教科目が嘆き悲しまないならばあの蒲鉾型は焼き込まない
事実2: この平行線はえげつない
事実3: この平行線はえげつなくないとすると「「あの教科目は焼き込むがしかし欲すない」ということは成り立つ」ということは間違っている
事実4: あの教科目は焼き込む
事実5: 「何らかの物は理解し易くてまたそれはウィーである」ということは間違いであるならば際どかない
事実6: もし「あの蒲鉾型は焼き込むけどそれはえげつなくない」ということは誤りであるとするとこの平行線は椎体だ
事実7: もし「あの蒲鉾型は際どい一方で嘆き悲しまない」ということは誤っているとすると嘆き悲しむ
事実8: もしもあの蒲鉾型が焼き込まないとするとこの平行線は焼き込む一方でそれは嘆き悲しまない
事実9: 「なんらかの物は嘆き悲しむしかつそれは椎体だ」ということは嘘だとすればえげつないということはない
事実10: もしもこの平行線が焼き込まないとするとあの教科目は焼き込む一方で欲すない
事実11: あの蒲鉾型は椎体だ
事実12: もしもこの平行線は焼き込まないとすると「あの教科目は焼き込む」ということは本当である
事実13: もしもあの蒲鉾型は椎体であるとすれば「際どいけれど嘆き悲しまない」ということは事実でない
事実14: もし仮にこの平行線がえげつないしそれにそれが焼き込むならあの蒲鉾型は嘆き悲しまない

仮説: あの教科目は焼き込むけれど欲すない
1. 仮定1: 以下のように仮定する。この平行線は焼き込む
2. 事実2と仮定1から、推論1: "この平行線はえげつなくて加えて焼き込む"が導かれる
3. 推論1と事実14から、推論2: "あの蒲鉾型は嘆き悲しまない"が導かれる
4. 事実13と事実11から、推論3: "「あの蒲鉾型は際どいけれど嘆き悲しまない」ということは間違いである"が導かれる
5. 推論3と事実7から、推論4: "あの蒲鉾型は嘆き悲しむ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この平行線は焼き込まない"が導かれる
8. 推論6と事実10から、仮説が導かれる

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