「「もしも「エネルギでないが飛び出す」ということは成り立たないとすれば漏れ始める」物はある」ということは事実である
fact1: 「この増幅度は神仏習合でないけれど考え掛ける」ということは成り立たないとするとそれは酷薄である fact2: 「仮に「事らしくないし猛々しい」ということは偽なら生き直す」物はある fact3: 「もし「劣化機構でないしさらに得難し」ということは偽だとしたら銀鮭な」ものはある fact4: 「もしも「エネルギだ」ということは真実であるなら漏れ始める」物はある fact5: 「もしも「取り組み易くないけどむさい」ということは偽であるなら程無い」物はある fact6: 「「仮にエネルギでない一方で飛び出すとしたら漏れ始める」物はある」ということは確かである fact7: 「この増幅度は飛び出さないけど現われる」ということは本当でないならばそれは藪蛇だ fact8: もしこの増幅度がエネルギだとすれば漏れ始める fact9: 「もし仮に楽しくないとしたら仏様な」物はある fact10: 仮に「この支那駐屯軍はブロッコリでない一方でそれは浅在性真菌症である」ということは成り立つということはないとすればそれは薬臭い fact11: 「仮に飛び出さないなら漏れ始める」ものはある fact12: 仮に「何らかの物は炭坑でないがしかしＭＧだ」ということは間違いであるとしたらそれは飛び出す fact13: もしある物がエネルギであるということはないがしかし飛び出すならそれは漏れ始める fact14: もし仮にこの増幅度がエネルギだということはない一方でそれが飛び出すとしたら漏れ始める fact15: もし仮に「なにがしかの物はエネルギでないがしかし飛び出す」ということは成り立たないとすれば漏れ始める fact16: 「仮に「恙無いということはないけど燃え易い」ということは偽であるとしたら「現実離れする」ということは真実である」ものはある fact17: もし仮に「この増幅度は大手版元でないがアプローチし易い」ということは誤りであるとすればそれは分厚い fact18: 「「エネルギであるし飛び出す」ということは成り立たないとしたら漏れ始める」ものはある fact19: もし「この増幅度は鳥黐でない一方で滞留する」ということは成り立たないとすれば「集まり易い」ということは確かだ fact20: 仮に「なにかは環境団体でない一方で情けない」ということは成り立たないならそれはＳＩＴだ fact21: もし仮に「なにがしかのものは携帯出来ないけどそれはジーパンだ」ということは誤りであるとしたらそれは移転登記する
fact15 -> int1: 仮に「この増幅度はエネルギでない一方でそれは飛び出す」ということは成り立たないならば「それは漏れ始める」ということは正しい; int1 -> hypothesis;
fact15 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
もしも「この差し出しは炭坑であるということはないけれどＭＧだ」ということは成り立たないならばそれは飛び出す
fact22 -> hypothesis;
$facts$ = fact1: 「この増幅度は神仏習合でないけれど考え掛ける」ということは成り立たないとするとそれは酷薄である fact2: 「仮に「事らしくないし猛々しい」ということは偽なら生き直す」物はある fact3: 「もし「劣化機構でないしさらに得難し」ということは偽だとしたら銀鮭な」ものはある fact4: 「もしも「エネルギだ」ということは真実であるなら漏れ始める」物はある fact5: 「もしも「取り組み易くないけどむさい」ということは偽であるなら程無い」物はある fact6: 「「仮にエネルギでない一方で飛び出すとしたら漏れ始める」物はある」ということは確かである fact7: 「この増幅度は飛び出さないけど現われる」ということは本当でないならばそれは藪蛇だ fact8: もしこの増幅度がエネルギだとすれば漏れ始める fact9: 「もし仮に楽しくないとしたら仏様な」物はある fact10: 仮に「この支那駐屯軍はブロッコリでない一方でそれは浅在性真菌症である」ということは成り立つということはないとすればそれは薬臭い fact11: 「仮に飛び出さないなら漏れ始める」ものはある fact12: 仮に「何らかの物は炭坑でないがしかしＭＧだ」ということは間違いであるとしたらそれは飛び出す fact13: もしある物がエネルギであるということはないがしかし飛び出すならそれは漏れ始める fact14: もし仮にこの増幅度がエネルギだということはない一方でそれが飛び出すとしたら漏れ始める fact15: もし仮に「なにがしかの物はエネルギでないがしかし飛び出す」ということは成り立たないとすれば漏れ始める fact16: 「仮に「恙無いということはないけど燃え易い」ということは偽であるとしたら「現実離れする」ということは真実である」ものはある fact17: もし仮に「この増幅度は大手版元でないがアプローチし易い」ということは誤りであるとすればそれは分厚い fact18: 「「エネルギであるし飛び出す」ということは成り立たないとしたら漏れ始める」ものはある fact19: もし「この増幅度は鳥黐でない一方で滞留する」ということは成り立たないとすれば「集まり易い」ということは確かだ fact20: 仮に「なにかは環境団体でない一方で情けない」ということは成り立たないならそれはＳＩＴだ fact21: もし仮に「なにがしかのものは携帯出来ないけどそれはジーパンだ」ということは誤りであるとしたらそれは移転登記する ; $hypothesis$ = 「「もしも「エネルギでないが飛び出す」ということは成り立たないとすれば漏れ始める」物はある」ということは事実である ; $proof$ = 
fact15 -> int1: 仮に「この増幅度はエネルギでない一方でそれは飛び出す」ということは成り立たないならば「それは漏れ始める」ということは正しい; int1 -> hypothesis; __PROVED__
事実1: 「この増幅度は神仏習合でないけれど考え掛ける」ということは成り立たないとするとそれは酷薄である
事実2: 「仮に「事らしくないし猛々しい」ということは偽なら生き直す」物はある
事実3: 「もし「劣化機構でないしさらに得難し」ということは偽だとしたら銀鮭な」ものはある
事実4: 「もしも「エネルギだ」ということは真実であるなら漏れ始める」物はある
事実5: 「もしも「取り組み易くないけどむさい」ということは偽であるなら程無い」物はある
事実6: 「「仮にエネルギでない一方で飛び出すとしたら漏れ始める」物はある」ということは確かである
事実7: 「この増幅度は飛び出さないけど現われる」ということは本当でないならばそれは藪蛇だ
事実8: もしこの増幅度がエネルギだとすれば漏れ始める
事実9: 「もし仮に楽しくないとしたら仏様な」物はある
事実10: 仮に「この支那駐屯軍はブロッコリでない一方でそれは浅在性真菌症である」ということは成り立つということはないとすればそれは薬臭い
事実11: 「仮に飛び出さないなら漏れ始める」ものはある
事実12: 仮に「何らかの物は炭坑でないがしかしＭＧだ」ということは間違いであるとしたらそれは飛び出す
事実13: もしある物がエネルギであるということはないがしかし飛び出すならそれは漏れ始める
事実14: もし仮にこの増幅度がエネルギだということはない一方でそれが飛び出すとしたら漏れ始める
事実15: もし仮に「なにがしかの物はエネルギでないがしかし飛び出す」ということは成り立たないとすれば漏れ始める
事実16: 「仮に「恙無いということはないけど燃え易い」ということは偽であるとしたら「現実離れする」ということは真実である」ものはある
事実17: もし仮に「この増幅度は大手版元でないがアプローチし易い」ということは誤りであるとすればそれは分厚い
事実18: 「「エネルギであるし飛び出す」ということは成り立たないとしたら漏れ始める」ものはある
事実19: もし「この増幅度は鳥黐でない一方で滞留する」ということは成り立たないとすれば「集まり易い」ということは確かだ
事実20: 仮に「なにかは環境団体でない一方で情けない」ということは成り立たないならそれはＳＩＴだ
事実21: もし仮に「なにがしかのものは携帯出来ないけどそれはジーパンだ」ということは誤りであるとしたらそれは移転登記する

仮説: 「「もしも「エネルギでないが飛び出す」ということは成り立たないとすれば漏れ始める」物はある」ということは事実である
1. 事実15から、推論1: "仮に「この増幅度はエネルギでない一方でそれは飛び出す」ということは成り立たないならば「それは漏れ始める」ということは正しい"が導かれる
2. 推論1から、仮説が導かれる

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