この彼形は忙しくない
fact1: 仮にこの彼形が最適化するし更に人身であるならばその九ページ参照は忙しくない fact2: この子分達は差し渡しでない fact3: その九ページ参照はキスしない fact4: この彼形は忍耐強くないけれど煮る fact5: もしこの彼形が人身であるということはない一方で差し渡しならばその九ページ参照は忙しくない fact6: その九ページ参照が最適化しないけど人身であるならこの彼形は忙しくない fact7: 仮になにがしかのものが揺れ始めないとしたら差し渡しだし更に禅だ fact8: 仮にその九ページ参照は揺れ始めなくてインサートしないなら禅だ fact9: もしもその九ページ参照が忙しいとすれば人身でない fact10: もしもこの彼形は人身であるとすれば「それは忙しくない」ということは正しい fact11: もし「なんらかの物は忙しいし加えて差し渡しである」ということは成り立つということはないとすればそれは忙しいということはない fact12: 仮にその九ページ参照が差し渡しならばそれは最適化しなくておまけにそれは人身である fact13: あのＡコースは差し渡しでない fact14: その九ページ参照は差し渡しだ fact15: この彼形は入山するということはないがしかし差し渡しである fact16: もし仮に「その九ページ参照は差し渡しである」ということは成り立つならそれは最適化するということはない fact17: その九ページ参照が最適化するし人身ならこの彼形は忙しくない fact18: その九ページ参照は最適化しない fact19: もしその九ページ参照が最適化するとすればそれは忙しくないが差し渡しだ fact20: あるものが揺れ始めるならそれは禅で加えてそれは差し渡しでない
fact12 & fact14 -> int1: その九ページ参照は最適化しないが人身である; int1 & fact6 -> hypothesis;
fact12 & fact14 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact6 -> hypothesis;
この彼形は忙しい
fact21 -> int2: もしその九ページ参照が揺れ始めるとすれば禅で加えて差し渡しであるということはない;
$facts$ = fact1: 仮にこの彼形が最適化するし更に人身であるならばその九ページ参照は忙しくない fact2: この子分達は差し渡しでない fact3: その九ページ参照はキスしない fact4: この彼形は忍耐強くないけれど煮る fact5: もしこの彼形が人身であるということはない一方で差し渡しならばその九ページ参照は忙しくない fact6: その九ページ参照が最適化しないけど人身であるならこの彼形は忙しくない fact7: 仮になにがしかのものが揺れ始めないとしたら差し渡しだし更に禅だ fact8: 仮にその九ページ参照は揺れ始めなくてインサートしないなら禅だ fact9: もしもその九ページ参照が忙しいとすれば人身でない fact10: もしもこの彼形は人身であるとすれば「それは忙しくない」ということは正しい fact11: もし「なんらかの物は忙しいし加えて差し渡しである」ということは成り立つということはないとすればそれは忙しいということはない fact12: 仮にその九ページ参照が差し渡しならばそれは最適化しなくておまけにそれは人身である fact13: あのＡコースは差し渡しでない fact14: その九ページ参照は差し渡しだ fact15: この彼形は入山するということはないがしかし差し渡しである fact16: もし仮に「その九ページ参照は差し渡しである」ということは成り立つならそれは最適化するということはない fact17: その九ページ参照が最適化するし人身ならこの彼形は忙しくない fact18: その九ページ参照は最適化しない fact19: もしその九ページ参照が最適化するとすればそれは忙しくないが差し渡しだ fact20: あるものが揺れ始めるならそれは禅で加えてそれは差し渡しでない ; $hypothesis$ = この彼形は忙しくない ; $proof$ = 
fact12 & fact14 -> int1: その九ページ参照は最適化しないが人身である; int1 & fact6 -> hypothesis; __PROVED__
事実1: 仮にこの彼形が最適化するし更に人身であるならばその九ページ参照は忙しくない
事実2: この子分達は差し渡しでない
事実3: その九ページ参照はキスしない
事実4: この彼形は忍耐強くないけれど煮る
事実5: もしこの彼形が人身であるということはない一方で差し渡しならばその九ページ参照は忙しくない
事実6: その九ページ参照が最適化しないけど人身であるならこの彼形は忙しくない
事実7: 仮になにがしかのものが揺れ始めないとしたら差し渡しだし更に禅だ
事実8: 仮にその九ページ参照は揺れ始めなくてインサートしないなら禅だ
事実9: もしもその九ページ参照が忙しいとすれば人身でない
事実10: もしもこの彼形は人身であるとすれば「それは忙しくない」ということは正しい
事実11: もし「なんらかの物は忙しいし加えて差し渡しである」ということは成り立つということはないとすればそれは忙しいということはない
事実12: 仮にその九ページ参照が差し渡しならばそれは最適化しなくておまけにそれは人身である
事実13: あのＡコースは差し渡しでない
事実14: その九ページ参照は差し渡しだ
事実15: この彼形は入山するということはないがしかし差し渡しである
事実16: もし仮に「その九ページ参照は差し渡しである」ということは成り立つならそれは最適化するということはない
事実17: その九ページ参照が最適化するし人身ならこの彼形は忙しくない
事実18: その九ページ参照は最適化しない
事実19: もしその九ページ参照が最適化するとすればそれは忙しくないが差し渡しだ
事実20: あるものが揺れ始めるならそれは禅で加えてそれは差し渡しでない

仮説: この彼形は忙しくない
1. 事実12と事実14から、推論1: "その九ページ参照は最適化しないが人身である"が導かれる
2. 推論1と事実6から、仮説が導かれる

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