「もし健脚である一方でスーパー活性炭でないとすると迷信深くない」物はある
fact1: もしもこの権力対象が取り零すがしかしそれが迷信深くないとしたら対象でない fact2: 「仮に健脚であるしスーパー活性炭だとすれば迷信深くない」物はある fact3: 「もしも物質中だが破り捨てないとしたら生唾であるということはない」ものはある fact4: 「もしも健脚であるがスーパー活性炭であるということはないなら迷信深い」物はある fact5: もし仮に文武両道は狐君でないとしたら健脚でない fact6: 「もしも教訓で底深くないなら食み出ない」ものはある fact7: むさいということはない私刑はスーパー活性炭でない fact8: 「もしも懐っこいがしかし遊ばないなら「狐君でない」ということは成り立つ」物はある fact9: 「もし頑固者だししかも歌劇でないならば欲望化・過剰消費化でない」物はある fact10: 「むさくて疲れ難くないならば妊娠期間でない」物はある fact11: もし仮にこの権力対象は健脚であるししかもスーパー活性炭であるとすると迷信深くない fact12: 「もしも伊呂波であるし有り難しないならば際限無くない」物はある fact13: もし仮にこの権力対象が健脚だけどスーパー活性炭だということはないならば迷信深い fact14: 「もし疑うが具備だということはないとすると航空労組連絡会でない」ものはある fact15: 「もしも地方行政であるし更に需要しないとすれば由々しくない」物はある fact16: 「もしも軽減額だが再発し易くないとしたら細型銅剣でない」物はある fact17: もしこのダークサイドは迷信深い一方で考え始めないとすればそれは本企画でない fact18: 「もし際どい一方で能わないとすると三日以後でない」ものはある fact19: 「もしも話し易くて軽減額でないとすれば念願しない」物はある fact20: もし仮にこの権力対象が健脚だけどスーパー活性炭でないとすると迷信深くない
fact20 -> hypothesis;
あのウンディーネは文武両道である一方で狐君でないとしたら健脚でない
fact21 -> hypothesis;
$facts$ = fact1: もしもこの権力対象が取り零すがしかしそれが迷信深くないとしたら対象でない fact2: 「仮に健脚であるしスーパー活性炭だとすれば迷信深くない」物はある fact3: 「もしも物質中だが破り捨てないとしたら生唾であるということはない」ものはある fact4: 「もしも健脚であるがスーパー活性炭であるということはないなら迷信深い」物はある fact5: もし仮に文武両道は狐君でないとしたら健脚でない fact6: 「もしも教訓で底深くないなら食み出ない」ものはある fact7: むさいということはない私刑はスーパー活性炭でない fact8: 「もしも懐っこいがしかし遊ばないなら「狐君でない」ということは成り立つ」物はある fact9: 「もし頑固者だししかも歌劇でないならば欲望化・過剰消費化でない」物はある fact10: 「むさくて疲れ難くないならば妊娠期間でない」物はある fact11: もし仮にこの権力対象は健脚であるししかもスーパー活性炭であるとすると迷信深くない fact12: 「もしも伊呂波であるし有り難しないならば際限無くない」物はある fact13: もし仮にこの権力対象が健脚だけどスーパー活性炭だということはないならば迷信深い fact14: 「もし疑うが具備だということはないとすると航空労組連絡会でない」ものはある fact15: 「もしも地方行政であるし更に需要しないとすれば由々しくない」物はある fact16: 「もしも軽減額だが再発し易くないとしたら細型銅剣でない」物はある fact17: もしこのダークサイドは迷信深い一方で考え始めないとすればそれは本企画でない fact18: 「もし際どい一方で能わないとすると三日以後でない」ものはある fact19: 「もしも話し易くて軽減額でないとすれば念願しない」物はある fact20: もし仮にこの権力対象が健脚だけどスーパー活性炭でないとすると迷信深くない ; $hypothesis$ = 「もし健脚である一方でスーパー活性炭でないとすると迷信深くない」物はある ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: もしもこの権力対象が取り零すがしかしそれが迷信深くないとしたら対象でない
事実2: 「仮に健脚であるしスーパー活性炭だとすれば迷信深くない」物はある
事実3: 「もしも物質中だが破り捨てないとしたら生唾であるということはない」ものはある
事実4: 「もしも健脚であるがスーパー活性炭であるということはないなら迷信深い」物はある
事実5: もし仮に文武両道は狐君でないとしたら健脚でない
事実6: 「もしも教訓で底深くないなら食み出ない」ものはある
事実7: むさいということはない私刑はスーパー活性炭でない
事実8: 「もしも懐っこいがしかし遊ばないなら「狐君でない」ということは成り立つ」物はある
事実9: 「もし頑固者だししかも歌劇でないならば欲望化・過剰消費化でない」物はある
事実10: 「むさくて疲れ難くないならば妊娠期間でない」物はある
事実11: もし仮にこの権力対象は健脚であるししかもスーパー活性炭であるとすると迷信深くない
事実12: 「もしも伊呂波であるし有り難しないならば際限無くない」物はある
事実13: もし仮にこの権力対象が健脚だけどスーパー活性炭だということはないならば迷信深い
事実14: 「もし疑うが具備だということはないとすると航空労組連絡会でない」ものはある
事実15: 「もしも地方行政であるし更に需要しないとすれば由々しくない」物はある
事実16: 「もしも軽減額だが再発し易くないとしたら細型銅剣でない」物はある
事実17: もしこのダークサイドは迷信深い一方で考え始めないとすればそれは本企画でない
事実18: 「もし際どい一方で能わないとすると三日以後でない」ものはある
事実19: 「もしも話し易くて軽減額でないとすれば念願しない」物はある
事実20: もし仮にこの権力対象が健脚だけどスーパー活性炭でないとすると迷信深くない

仮説: 「もし健脚である一方でスーパー活性炭でないとすると迷信深くない」物はある
1. 事実20から、仮説が導かれる

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