「もし「浸食するがしかしそつ無くない」ということは間違いであるとすると御詳しい」ものはある
fact1: もし仮に「この繁栄振りはきもいけどそつ無くない」ということは間違いだとするとそれは合衆国軍である fact2: 「「もし仮に「古臭いけど生え易くない」ということは嘘であるとすれば吹き飛ばす」ものはある」ということは偽であるということはない fact3: 「もし浸食するけれどそつ無くないとすれば御詳しい」ものはある fact4: 「もし仮に浸食しないとしたら御詳しい」物はある fact5: 「「レリーフであるけれど伊藤栄・諸田実訳だということはない」ということは成り立たないとすれば押し留める」ものはある fact6: 「「勃起するが反対側でない」ということは成り立つということはないとすると一歳未満な」ものはある fact7: 仮に「この繁栄振りは浸食するしおまけにそつ無い」ということは成り立たないとしたら「それは御詳しい」ということは間違いでない fact8: 「もし仮に「八時前であるけれど容認しない」ということは成り立たないとしたら救い難い」ものはある fact9: 「もしそつ無いならば御詳しい」ものはある fact10: 「この繁栄振りはそつ無い一方でそれはスキンモードでない」ということは事実と異なるとしたら農奴解放だ fact11: もしもこの繁栄振りは浸食するけどそつ無くないとしたら御詳しい fact12: 「この繁栄振りは蝶番である一方で比較文法でない」ということは成り立たないなら目通りである fact13: 「仮に「浸食するしそつ無い」ということは成り立たないとすると御詳しい」物はある fact14: もし「この繁栄振りは浸食するがしかし小気味良くない」ということは誤っているとすればそれは志染支店だ fact15: もしもこの繁栄振りは浸食するということはないならば「それは御詳しい」ということは成り立つ fact16: もし仮に「何かは覚束無いけどそれはＴＡＮでない」ということは誤りであるとしたら「それは銃殺する」ということは成り立つ fact17: 「この繁栄振りはめんどいけどそれは黴臭くない」ということは事実と異なればリフレッシュ出来る fact18: 仮に「「「この繁栄振りは浸食するがしかしそつ無くない」ということは本当だ」ということは誤りだ」ということは確かであるなら御詳しい fact19: 「もし仮に「「ＡＥＤだけれど掛かるということはない」ということは成り立つ」ということは偽ならＰＺＴな」ものはある fact20: 「もし仮に「男っぽくてさもしくない」ということは成り立つということはないとすれば取得し易い」物はある
fact18 -> hypothesis;
「「覚束無くてＴＡＮでない」ということは成り立たないとしたら銃殺する」ものはある
fact21 -> int1: もし「その危険分子は覚束無いがＴＡＮでない」ということは嘘だとしたらそれは銃殺する; int1 -> hypothesis;
$facts$ = fact1: もし仮に「この繁栄振りはきもいけどそつ無くない」ということは間違いだとするとそれは合衆国軍である fact2: 「「もし仮に「古臭いけど生え易くない」ということは嘘であるとすれば吹き飛ばす」ものはある」ということは偽であるということはない fact3: 「もし浸食するけれどそつ無くないとすれば御詳しい」ものはある fact4: 「もし仮に浸食しないとしたら御詳しい」物はある fact5: 「「レリーフであるけれど伊藤栄・諸田実訳だということはない」ということは成り立たないとすれば押し留める」ものはある fact6: 「「勃起するが反対側でない」ということは成り立つということはないとすると一歳未満な」ものはある fact7: 仮に「この繁栄振りは浸食するしおまけにそつ無い」ということは成り立たないとしたら「それは御詳しい」ということは間違いでない fact8: 「もし仮に「八時前であるけれど容認しない」ということは成り立たないとしたら救い難い」ものはある fact9: 「もしそつ無いならば御詳しい」ものはある fact10: 「この繁栄振りはそつ無い一方でそれはスキンモードでない」ということは事実と異なるとしたら農奴解放だ fact11: もしもこの繁栄振りは浸食するけどそつ無くないとしたら御詳しい fact12: 「この繁栄振りは蝶番である一方で比較文法でない」ということは成り立たないなら目通りである fact13: 「仮に「浸食するしそつ無い」ということは成り立たないとすると御詳しい」物はある fact14: もし「この繁栄振りは浸食するがしかし小気味良くない」ということは誤っているとすればそれは志染支店だ fact15: もしもこの繁栄振りは浸食するということはないならば「それは御詳しい」ということは成り立つ fact16: もし仮に「何かは覚束無いけどそれはＴＡＮでない」ということは誤りであるとしたら「それは銃殺する」ということは成り立つ fact17: 「この繁栄振りはめんどいけどそれは黴臭くない」ということは事実と異なればリフレッシュ出来る fact18: 仮に「「「この繁栄振りは浸食するがしかしそつ無くない」ということは本当だ」ということは誤りだ」ということは確かであるなら御詳しい fact19: 「もし仮に「「ＡＥＤだけれど掛かるということはない」ということは成り立つ」ということは偽ならＰＺＴな」ものはある fact20: 「もし仮に「男っぽくてさもしくない」ということは成り立つということはないとすれば取得し易い」物はある ; $hypothesis$ = 「もし「浸食するがしかしそつ無くない」ということは間違いであるとすると御詳しい」ものはある ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: もし仮に「この繁栄振りはきもいけどそつ無くない」ということは間違いだとするとそれは合衆国軍である
事実2: 「「もし仮に「古臭いけど生え易くない」ということは嘘であるとすれば吹き飛ばす」ものはある」ということは偽であるということはない
事実3: 「もし浸食するけれどそつ無くないとすれば御詳しい」ものはある
事実4: 「もし仮に浸食しないとしたら御詳しい」物はある
事実5: 「「レリーフであるけれど伊藤栄・諸田実訳だということはない」ということは成り立たないとすれば押し留める」ものはある
事実6: 「「勃起するが反対側でない」ということは成り立つということはないとすると一歳未満な」ものはある
事実7: 仮に「この繁栄振りは浸食するしおまけにそつ無い」ということは成り立たないとしたら「それは御詳しい」ということは間違いでない
事実8: 「もし仮に「八時前であるけれど容認しない」ということは成り立たないとしたら救い難い」ものはある
事実9: 「もしそつ無いならば御詳しい」ものはある
事実10: 「この繁栄振りはそつ無い一方でそれはスキンモードでない」ということは事実と異なるとしたら農奴解放だ
事実11: もしもこの繁栄振りは浸食するけどそつ無くないとしたら御詳しい
事実12: 「この繁栄振りは蝶番である一方で比較文法でない」ということは成り立たないなら目通りである
事実13: 「仮に「浸食するしそつ無い」ということは成り立たないとすると御詳しい」物はある
事実14: もし「この繁栄振りは浸食するがしかし小気味良くない」ということは誤っているとすればそれは志染支店だ
事実15: もしもこの繁栄振りは浸食するということはないならば「それは御詳しい」ということは成り立つ
事実16: もし仮に「何かは覚束無いけどそれはＴＡＮでない」ということは誤りであるとしたら「それは銃殺する」ということは成り立つ
事実17: 「この繁栄振りはめんどいけどそれは黴臭くない」ということは事実と異なればリフレッシュ出来る
事実18: 仮に「「「この繁栄振りは浸食するがしかしそつ無くない」ということは本当だ」ということは誤りだ」ということは確かであるなら御詳しい
事実19: 「もし仮に「「ＡＥＤだけれど掛かるということはない」ということは成り立つ」ということは偽ならＰＺＴな」ものはある
事実20: 「もし仮に「男っぽくてさもしくない」ということは成り立つということはないとすれば取得し易い」物はある

仮説: 「もし「浸食するがしかしそつ無くない」ということは間違いであるとすると御詳しい」ものはある
1. 事実18から、仮説が導かれる

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