「「許し難くない一方で社会党系だ」ということは成り立たない」ものはある
fact1: もしも「とある物は肌寒くないけど態とらしい」ということは成り立たないとするとそれは肌寒い fact2: あるものは態とらしいならば「「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは誤りだ」ということは本当だ fact3: 仮にこの年以後が三所収でないけど罪深いとしたらあの和音は罪深い fact4: もし「「粘っこくないしそれにがめつい」ということは成り立たない」ものがあるとしたらあの講和後は言い返さない fact5: あの和音は返りらしいならば「粘っこくないしそれはがめつい」ということは間違いである fact6: もし仮に「宛て名画面な」物はあるとすると「この六十年前はアウトローであるしおまけに社会党系である」ということは偽である fact7: もしあの社会保障論はしゃぶりつかないとすれば「その三角合併は輔弼する」ということは成り立つ fact8: 「許し難くないがしかし社会党系な」ものはある fact9: もしもある物は許し難くないとすると「肌寒くない一方で態とらしい」ということは間違いだ fact10: あの講和後がしゃぶりつくがしかしそれが滅び行かないならあの社会保障論はしゃぶりつくということはない fact11: 「態とらしい」ものはある fact12: もし仮に何らかの物は罪深いとしたら「それは返りらしい」ということは成り立つ fact13: この年以後は三所収でないがしかし罪深い fact14: もし仮に「宝塔だということはないかあるいは社会党系でないかまたは両方な」物があるならあのＳＪＭ弁機能不全は許し難くない fact15: 仮にある物が輔弼するなら宝塔だということはないかあるいは社会党系でないかもしくは両方ともだ fact16: もしもなんらかの物が言い返さないならばそれはしゃぶりつく一方で滅び行かない
fact11 & fact2 -> int1: 「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは成り立たない; int1 -> hypothesis;
肌寒い物はある
fact19 -> int2: もし「あのＳＪＭ弁機能不全は肌寒くないが態とらしい」ということは偽ならばそれは肌寒い; fact21 -> int3: もし仮にあのＳＪＭ弁機能不全は許し難くないとしたら「肌寒いということはないし更に態とらしい」ということは真実であるということはない; fact23 -> int4: もしその三角合併が輔弼すればそれは宝塔でないかもしくはそれは社会党系でないかまたは両方ともである; fact17 -> int5: もし「あの講和後は言い返すということはない」ということは真実であるとするとそれはしゃぶりつくけれど滅び行かない; fact22 -> int6: 仮に「あの和音は罪深い」ということは正しいとしたらそれは返りらしい; fact25 & fact28 -> int7: あの和音は罪深い; int6 & int7 -> int8: あの和音は返りらしい; fact18 & int8 -> int9: 「あの和音は粘っこくないががめつい」ということは嘘だ; int9 -> int10: 「「粘っこくないししかもがめつい」ということは事実と異なる」ものはある; int10 & fact24 -> int11: あの講和後は言い返さない; int5 & int11 -> int12: あの講和後はしゃぶりつくけれどそれは滅び行くということはない; fact20 & int12 -> int13: 「あの社会保障論はしゃぶりつかない」ということは真実だ; fact26 & int13 -> int14: その三角合併は輔弼する; int4 & int14 -> int15: その三角合併は宝塔でないかもしくは社会党系であるということはないかどちらもである; int15 -> int16: なにがしかの物は宝塔でないかまたはそれは社会党系でないかまたは両方ともだ; int16 & fact27 -> int17: あのＳＪＭ弁機能不全は許し難くない; int3 & int17 -> int18: 「あのＳＪＭ弁機能不全は肌寒くないけど態とらしい」ということは誤りだ; int2 & int18 -> int19: あのＳＪＭ弁機能不全は肌寒い; int19 -> hypothesis;
$facts$ = fact1: もしも「とある物は肌寒くないけど態とらしい」ということは成り立たないとするとそれは肌寒い fact2: あるものは態とらしいならば「「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは誤りだ」ということは本当だ fact3: 仮にこの年以後が三所収でないけど罪深いとしたらあの和音は罪深い fact4: もし「「粘っこくないしそれにがめつい」ということは成り立たない」ものがあるとしたらあの講和後は言い返さない fact5: あの和音は返りらしいならば「粘っこくないしそれはがめつい」ということは間違いである fact6: もし仮に「宛て名画面な」物はあるとすると「この六十年前はアウトローであるしおまけに社会党系である」ということは偽である fact7: もしあの社会保障論はしゃぶりつかないとすれば「その三角合併は輔弼する」ということは成り立つ fact8: 「許し難くないがしかし社会党系な」ものはある fact9: もしもある物は許し難くないとすると「肌寒くない一方で態とらしい」ということは間違いだ fact10: あの講和後がしゃぶりつくがしかしそれが滅び行かないならあの社会保障論はしゃぶりつくということはない fact11: 「態とらしい」ものはある fact12: もし仮に何らかの物は罪深いとしたら「それは返りらしい」ということは成り立つ fact13: この年以後は三所収でないがしかし罪深い fact14: もし仮に「宝塔だということはないかあるいは社会党系でないかまたは両方な」物があるならあのＳＪＭ弁機能不全は許し難くない fact15: 仮にある物が輔弼するなら宝塔だということはないかあるいは社会党系でないかもしくは両方ともだ fact16: もしもなんらかの物が言い返さないならばそれはしゃぶりつく一方で滅び行かない ; $hypothesis$ = 「「許し難くない一方で社会党系だ」ということは成り立たない」ものはある ; $proof$ = 
fact11 & fact2 -> int1: 「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしも「とある物は肌寒くないけど態とらしい」ということは成り立たないとするとそれは肌寒い
事実2: あるものは態とらしいならば「「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは誤りだ」ということは本当だ
事実3: 仮にこの年以後が三所収でないけど罪深いとしたらあの和音は罪深い
事実4: もし「「粘っこくないしそれにがめつい」ということは成り立たない」ものがあるとしたらあの講和後は言い返さない
事実5: あの和音は返りらしいならば「粘っこくないしそれはがめつい」ということは間違いである
事実6: もし仮に「宛て名画面な」物はあるとすると「この六十年前はアウトローであるしおまけに社会党系である」ということは偽である
事実7: もしあの社会保障論はしゃぶりつかないとすれば「その三角合併は輔弼する」ということは成り立つ
事実8: 「許し難くないがしかし社会党系な」ものはある
事実9: もしもある物は許し難くないとすると「肌寒くない一方で態とらしい」ということは間違いだ
事実10: あの講和後がしゃぶりつくがしかしそれが滅び行かないならあの社会保障論はしゃぶりつくということはない
事実11: 「態とらしい」ものはある
事実12: もし仮に何らかの物は罪深いとしたら「それは返りらしい」ということは成り立つ
事実13: この年以後は三所収でないがしかし罪深い
事実14: もし仮に「宝塔だということはないかあるいは社会党系でないかまたは両方な」物があるならあのＳＪＭ弁機能不全は許し難くない
事実15: 仮にある物が輔弼するなら宝塔だということはないかあるいは社会党系でないかもしくは両方ともだ
事実16: もしもなんらかの物が言い返さないならばそれはしゃぶりつく一方で滅び行かない

仮説: 「「許し難くない一方で社会党系だ」ということは成り立たない」ものはある
1. 事実11と事実2から、推論1: "「あのＳＪＭ弁機能不全は許し難くないがしかし社会党系である」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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