その細胞群は鋭い
fact1: もし仮に「空々しいということはない」ものはあるなら「この全法人は空々しくておまけにそれは暗躍する」ということは間違っている fact2: もしもあの利用技術が焼き戻しであるとしたらこの全法人は入れ難い fact3: もし仮になんらかのものが別れるけれどそれは聞こゆないとすれば「御早くない」ということは間違いである fact4: もしもあの利用技術が焼き戻しでないとするとあのパットは入れ難い fact5: もしも「この全法人は書き難くない」ということは正しいとすれば「あの利用技術は鋭いし焼き戻しである」ということは誤っている fact6: もし仮にあの利用技術が入れ難いということはなくて加えてそれが鋭くないとするとその細胞群は鋭いということはない fact7: もし何らかのものが書き難いとすると鋭い fact8: 仮に「何らかのものは空々しくて加えて暗躍する」ということは成り立つということはないなら「それは暗躍しない」ということは事実である fact9: この全法人は書き難い fact10: もしもあるものは御早いとすると「そそっかしいし書き難くない」ということは嘘だ fact11: あの利用技術は焼き戻しだ fact12: 「もし「なにかは鋭くて加えて焼き戻しだ」ということは誤っているとすると焼き戻しでない」ということは事実である fact13: もし「その塞がりは空々しいがそれは暗躍するということはない」ということは誤っているならあのファイル番号は暗躍する fact14: あのファイル番号は暗躍するとすれば「この全法人は焼き戻しでない一方で入れ難い」ということは誤りである fact15: もしもなにがしかの物は暗躍しないとすると「御早くておまけにそれはそそっかしい」ということは間違っている fact16: この全法人は焼き戻しである fact17: 「その塞がりは空々しいが暗躍しない」ということは成り立たない fact18: もしこの全法人が入れ難いならその細胞群は書き難い fact19: もしも「この全法人は焼き戻しでないが入れ難い」ということは成り立たないとするとあの利用技術は入れ難いということはない fact20: 「「なにかは御早いしさらにそそっかしい」ということは事実と異なるならそれは書き難くない」ということは成り立つ
fact2 & fact11 -> int1: この全法人は入れ難い; int1 & fact18 -> int2: その細胞群は書き難い; fact7 -> int3: その細胞群は書き難いとすると「鋭いということはない」ということは誤っている; int2 & int3 -> hypothesis;
fact2 & fact11 -> int1: {B}{b}; int1 & fact18 -> int2: {C}{c}; fact7 -> int3: {C}{c} -> {D}{c}; int2 & int3 -> hypothesis;
あのパットは入れ難い
fact26 -> int4: もし「あの利用技術は鋭くてかつ焼き戻しだ」ということは成り立たないならばそれは焼き戻しであるということはない; fact23 -> int5: もし「この全法人は御早くてそそっかしい」ということは偽であるなら書き難くない; fact24 -> int6: もしもこの全法人は暗躍しないならば「「それは御早いしその上そそっかしい」ということは本当だ」ということは確かでない; fact22 -> int7: もし仮に「この全法人は空々しくてかつそれは暗躍する」ということは誤りであるとすればそれは暗躍しない;
$facts$ = fact1: もし仮に「空々しいということはない」ものはあるなら「この全法人は空々しくておまけにそれは暗躍する」ということは間違っている fact2: もしもあの利用技術が焼き戻しであるとしたらこの全法人は入れ難い fact3: もし仮になんらかのものが別れるけれどそれは聞こゆないとすれば「御早くない」ということは間違いである fact4: もしもあの利用技術が焼き戻しでないとするとあのパットは入れ難い fact5: もしも「この全法人は書き難くない」ということは正しいとすれば「あの利用技術は鋭いし焼き戻しである」ということは誤っている fact6: もし仮にあの利用技術が入れ難いということはなくて加えてそれが鋭くないとするとその細胞群は鋭いということはない fact7: もし何らかのものが書き難いとすると鋭い fact8: 仮に「何らかのものは空々しくて加えて暗躍する」ということは成り立つということはないなら「それは暗躍しない」ということは事実である fact9: この全法人は書き難い fact10: もしもあるものは御早いとすると「そそっかしいし書き難くない」ということは嘘だ fact11: あの利用技術は焼き戻しだ fact12: 「もし「なにかは鋭くて加えて焼き戻しだ」ということは誤っているとすると焼き戻しでない」ということは事実である fact13: もし「その塞がりは空々しいがそれは暗躍するということはない」ということは誤っているならあのファイル番号は暗躍する fact14: あのファイル番号は暗躍するとすれば「この全法人は焼き戻しでない一方で入れ難い」ということは誤りである fact15: もしもなにがしかの物は暗躍しないとすると「御早くておまけにそれはそそっかしい」ということは間違っている fact16: この全法人は焼き戻しである fact17: 「その塞がりは空々しいが暗躍しない」ということは成り立たない fact18: もしこの全法人が入れ難いならその細胞群は書き難い fact19: もしも「この全法人は焼き戻しでないが入れ難い」ということは成り立たないとするとあの利用技術は入れ難いということはない fact20: 「「なにかは御早いしさらにそそっかしい」ということは事実と異なるならそれは書き難くない」ということは成り立つ ; $hypothesis$ = その細胞群は鋭い ; $proof$ = 
fact2 & fact11 -> int1: この全法人は入れ難い; int1 & fact18 -> int2: その細胞群は書き難い; fact7 -> int3: その細胞群は書き難いとすると「鋭いということはない」ということは誤っている; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「空々しいということはない」ものはあるなら「この全法人は空々しくておまけにそれは暗躍する」ということは間違っている
事実2: もしもあの利用技術が焼き戻しであるとしたらこの全法人は入れ難い
事実3: もし仮になんらかのものが別れるけれどそれは聞こゆないとすれば「御早くない」ということは間違いである
事実4: もしもあの利用技術が焼き戻しでないとするとあのパットは入れ難い
事実5: もしも「この全法人は書き難くない」ということは正しいとすれば「あの利用技術は鋭いし焼き戻しである」ということは誤っている
事実6: もし仮にあの利用技術が入れ難いということはなくて加えてそれが鋭くないとするとその細胞群は鋭いということはない
事実7: もし何らかのものが書き難いとすると鋭い
事実8: 仮に「何らかのものは空々しくて加えて暗躍する」ということは成り立つということはないなら「それは暗躍しない」ということは事実である
事実9: この全法人は書き難い
事実10: もしもあるものは御早いとすると「そそっかしいし書き難くない」ということは嘘だ
事実11: あの利用技術は焼き戻しだ
事実12: 「もし「なにかは鋭くて加えて焼き戻しだ」ということは誤っているとすると焼き戻しでない」ということは事実である
事実13: もし「その塞がりは空々しいがそれは暗躍するということはない」ということは誤っているならあのファイル番号は暗躍する
事実14: あのファイル番号は暗躍するとすれば「この全法人は焼き戻しでない一方で入れ難い」ということは誤りである
事実15: もしもなにがしかの物は暗躍しないとすると「御早くておまけにそれはそそっかしい」ということは間違っている
事実16: この全法人は焼き戻しである
事実17: 「その塞がりは空々しいが暗躍しない」ということは成り立たない
事実18: もしこの全法人が入れ難いならその細胞群は書き難い
事実19: もしも「この全法人は焼き戻しでないが入れ難い」ということは成り立たないとするとあの利用技術は入れ難いということはない
事実20: 「「なにかは御早いしさらにそそっかしい」ということは事実と異なるならそれは書き難くない」ということは成り立つ

仮説: その細胞群は鋭い
1. 事実2と事実11から、推論1: "この全法人は入れ難い"が導かれる
2. 推論1と事実18から、推論2: "その細胞群は書き難い"が導かれる
3. 事実7から、推論3: "その細胞群は書き難いとすると「鋭いということはない」ということは誤っている"が導かれる
4. 推論2と推論3から、仮説が導かれる

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