この詳細サーチは空中分解する
fact1: もしもこの櫂がか弱いとしたらあの信用保証協会は働き難い fact2: あのバードは癒えない fact3: 仮にあのバードが発動出来ないとするとそれは癒えなくてそれは伝道者でない fact4: 受け難いものは疲れ易くない一方で登城する fact5: 仮にあの信用保証協会が危なっかしくないならばあのバードは危なっかしい fact6: もし仮にあのバードが発動出来ないとすると癒えない fact7: ばあかしかないものが園長先生だとすればそれは合い難いということはない fact8: あのバードは発動出来ない fact9: この詳細サーチが発動出来ないならばそれは伝道者でなくてかつ空中分解するということはない fact10: もしもとあるものが発動出来なくてそれが悪戯っぽくないならそれは空中分解しない fact11: この詳細サーチは伝道者だ fact12: もしあのバードが癒えないし加えて伝道者でないならこの詳細サーチは空中分解する fact13: 働き難いものは危なっかしくないかまたは抜け易くないかあるいは両方ともである fact14: もしこの協議的ディスコースは合い難くないならば「この櫂は受け難いししかもアメリカっぽい」ということは確かである fact15: もしもあのバードが危なっかしいならばあの詳細サーチは発動出来なくてそれは悪戯っぽくない fact16: 仮にその教授陣が確信めかないとすると伝道者でなくてまた汚れ難いということはない fact17: もしもあるものが疲れ易いということはないとしたらそれはか弱くてかつそれはリメイクである fact18: あの連環は発動出来ない fact19: もしもあのバードが癒えるけどそれが伝道者でないならばあの詳細サーチは空中分解する fact20: この協議的ディスコースはばあかしかないけど園長先生だ
fact3 & fact8 -> int1: あのバードは癒えなくてまた伝道者でない; int1 & fact12 -> hypothesis;
この詳細サーチは空中分解しない
fact23 -> int2: もしもこの詳細サーチが発動出来なくてその上悪戯っぽくないとしたらそれは空中分解しない; fact22 -> int3: もしもあの信用保証協会が働き難いならばそれは危なっかしくないかまたは抜け易くないかまたは両方ともだ; fact21 -> int4: この櫂が疲れ易くないならそれはか弱いしリメイクである; fact29 -> int5: この櫂が受け難いとすればそれは疲れ易くないがしかし登城する; fact25 -> int6: 仮にこの協議的ディスコースがばあかしいということはないが園長先生だとするとそれは合い難くない; int6 & fact26 -> int7: この協議的ディスコースは合い難くない; fact30 & int7 -> int8: この櫂は受け難くてさらにアメリカっぽい; int8 -> int9: この櫂は受け難い; int5 & int9 -> int10: この櫂は疲れ易くない一方で登城する; int10 -> int11: この櫂は疲れ易くない; int4 & int11 -> int12: この櫂はか弱くて加えてリメイクだ; int12 -> int13: この櫂はか弱い; fact28 & int13 -> int14: あの信用保証協会は働き難い; int3 & int14 -> int15: あの信用保証協会は危なっかしいということはないかもしくは抜け易くないかまたは両方ともだ;
$facts$ = fact1: もしもこの櫂がか弱いとしたらあの信用保証協会は働き難い fact2: あのバードは癒えない fact3: 仮にあのバードが発動出来ないとするとそれは癒えなくてそれは伝道者でない fact4: 受け難いものは疲れ易くない一方で登城する fact5: 仮にあの信用保証協会が危なっかしくないならばあのバードは危なっかしい fact6: もし仮にあのバードが発動出来ないとすると癒えない fact7: ばあかしかないものが園長先生だとすればそれは合い難いということはない fact8: あのバードは発動出来ない fact9: この詳細サーチが発動出来ないならばそれは伝道者でなくてかつ空中分解するということはない fact10: もしもとあるものが発動出来なくてそれが悪戯っぽくないならそれは空中分解しない fact11: この詳細サーチは伝道者だ fact12: もしあのバードが癒えないし加えて伝道者でないならこの詳細サーチは空中分解する fact13: 働き難いものは危なっかしくないかまたは抜け易くないかあるいは両方ともである fact14: もしこの協議的ディスコースは合い難くないならば「この櫂は受け難いししかもアメリカっぽい」ということは確かである fact15: もしもあのバードが危なっかしいならばあの詳細サーチは発動出来なくてそれは悪戯っぽくない fact16: 仮にその教授陣が確信めかないとすると伝道者でなくてまた汚れ難いということはない fact17: もしもあるものが疲れ易いということはないとしたらそれはか弱くてかつそれはリメイクである fact18: あの連環は発動出来ない fact19: もしもあのバードが癒えるけどそれが伝道者でないならばあの詳細サーチは空中分解する fact20: この協議的ディスコースはばあかしかないけど園長先生だ ; $hypothesis$ = この詳細サーチは空中分解する ; $proof$ = 
fact3 & fact8 -> int1: あのバードは癒えなくてまた伝道者でない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もしもこの櫂がか弱いとしたらあの信用保証協会は働き難い
事実2: あのバードは癒えない
事実3: 仮にあのバードが発動出来ないとするとそれは癒えなくてそれは伝道者でない
事実4: 受け難いものは疲れ易くない一方で登城する
事実5: 仮にあの信用保証協会が危なっかしくないならばあのバードは危なっかしい
事実6: もし仮にあのバードが発動出来ないとすると癒えない
事実7: ばあかしかないものが園長先生だとすればそれは合い難いということはない
事実8: あのバードは発動出来ない
事実9: この詳細サーチが発動出来ないならばそれは伝道者でなくてかつ空中分解するということはない
事実10: もしもとあるものが発動出来なくてそれが悪戯っぽくないならそれは空中分解しない
事実11: この詳細サーチは伝道者だ
事実12: もしあのバードが癒えないし加えて伝道者でないならこの詳細サーチは空中分解する
事実13: 働き難いものは危なっかしくないかまたは抜け易くないかあるいは両方ともである
事実14: もしこの協議的ディスコースは合い難くないならば「この櫂は受け難いししかもアメリカっぽい」ということは確かである
事実15: もしもあのバードが危なっかしいならばあの詳細サーチは発動出来なくてそれは悪戯っぽくない
事実16: 仮にその教授陣が確信めかないとすると伝道者でなくてまた汚れ難いということはない
事実17: もしもあるものが疲れ易いということはないとしたらそれはか弱くてかつそれはリメイクである
事実18: あの連環は発動出来ない
事実19: もしもあのバードが癒えるけどそれが伝道者でないならばあの詳細サーチは空中分解する
事実20: この協議的ディスコースはばあかしかないけど園長先生だ

仮説: この詳細サーチは空中分解する
1. 事実3と事実8から、推論1: "あのバードは癒えなくてまた伝道者でない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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