「この意匠法は久し」ということは確かだ
fact1: その履歴が雄々しいとしたらその末梢血単核細胞は雄々しいけど半月形でない fact2: 「半月形は二年分である」ということは正しい fact3: 「その末梢血単核細胞は内示する」ということは成り立つ fact4: この意匠法は人懐っこい fact5: もしなにがしかの物は結膜だということはないとすれば「それは雄々しいしそれは半月形でない」ということは偽だ fact6: もし仮にこの意匠法が人懐っこいとすれば突き固める fact7: この人品は雄々しい fact8: 「この清玻璃は内示する」ということは成り立つ fact9: その末梢血単核細胞は近寄り難い fact10: もしも「突き固めるし久し」ものがあるとすればあの履歴は雄々しい fact11: もしその末梢血単核細胞が近寄り難いしかつそれが内示するとすると結膜でない
fact6 & fact4 -> int1: この意匠法は突き固める; void -> assump1: 以下のように仮定する。この意匠法は久し; int1 & assump1 -> int2: この意匠法は突き固めるし久し; int2 -> int3: なにかは突き固めるし久し; int3 & fact10 -> int4: その履歴は雄々しい; int4 & fact1 -> int5: その末梢血単核細胞は雄々しいけど半月形でない; fact3 & fact9 -> int6: 「その末梢血単核細胞は近寄り難いしそれは内示する」ということは本当だ; int6 & fact11 -> int7: その末梢血単核細胞は結膜でない; fact5 -> int8: もし仮にその末梢血単核細胞は結膜でないなら「それは雄々しいけれど半月形でない」ということは成り立たない; int7 & int8 -> int9: 「その末梢血単核細胞は雄々しい一方で半月形でない」ということは成り立たない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その末梢血単核細胞が半月形ならそれは二年分だ
fact12 -> hypothesis;
$facts$ = fact1: その履歴が雄々しいとしたらその末梢血単核細胞は雄々しいけど半月形でない fact2: 「半月形は二年分である」ということは正しい fact3: 「その末梢血単核細胞は内示する」ということは成り立つ fact4: この意匠法は人懐っこい fact5: もしなにがしかの物は結膜だということはないとすれば「それは雄々しいしそれは半月形でない」ということは偽だ fact6: もし仮にこの意匠法が人懐っこいとすれば突き固める fact7: この人品は雄々しい fact8: 「この清玻璃は内示する」ということは成り立つ fact9: その末梢血単核細胞は近寄り難い fact10: もしも「突き固めるし久し」ものがあるとすればあの履歴は雄々しい fact11: もしその末梢血単核細胞が近寄り難いしかつそれが内示するとすると結膜でない ; $hypothesis$ = 「この意匠法は久し」ということは確かだ ; $proof$ = 
fact6 & fact4 -> int1: この意匠法は突き固める; void -> assump1: 以下のように仮定する。この意匠法は久し; int1 & assump1 -> int2: この意匠法は突き固めるし久し; int2 -> int3: なにかは突き固めるし久し; int3 & fact10 -> int4: その履歴は雄々しい; int4 & fact1 -> int5: その末梢血単核細胞は雄々しいけど半月形でない; fact3 & fact9 -> int6: 「その末梢血単核細胞は近寄り難いしそれは内示する」ということは本当だ; int6 & fact11 -> int7: その末梢血単核細胞は結膜でない; fact5 -> int8: もし仮にその末梢血単核細胞は結膜でないなら「それは雄々しいけれど半月形でない」ということは成り立たない; int7 & int8 -> int9: 「その末梢血単核細胞は雄々しい一方で半月形でない」ということは成り立たない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: その履歴が雄々しいとしたらその末梢血単核細胞は雄々しいけど半月形でない
事実2: 「半月形は二年分である」ということは正しい
事実3: 「その末梢血単核細胞は内示する」ということは成り立つ
事実4: この意匠法は人懐っこい
事実5: もしなにがしかの物は結膜だということはないとすれば「それは雄々しいしそれは半月形でない」ということは偽だ
事実6: もし仮にこの意匠法が人懐っこいとすれば突き固める
事実7: この人品は雄々しい
事実8: 「この清玻璃は内示する」ということは成り立つ
事実9: その末梢血単核細胞は近寄り難い
事実10: もしも「突き固めるし久し」ものがあるとすればあの履歴は雄々しい
事実11: もしその末梢血単核細胞が近寄り難いしかつそれが内示するとすると結膜でない

仮説: 「この意匠法は久し」ということは確かだ
1. 事実6と事実4から、推論1: "この意匠法は突き固める"が導かれる
2. 仮定1: 以下のように仮定する。この意匠法は久し
3. 推論1と仮定1から、推論2: "この意匠法は突き固めるし久し"が導かれる
4. 推論2から、推論3: "なにかは突き固めるし久し"が導かれる
5. 推論3と事実10から、推論4: "その履歴は雄々しい"が導かれる
6. 推論4と事実1から、推論5: "その末梢血単核細胞は雄々しいけど半月形でない"が導かれる
7. 事実3と事実9から、推論6: "「その末梢血単核細胞は近寄り難いしそれは内示する」ということは本当だ"が導かれる
8. 推論6と事実11から、推論7: "その末梢血単核細胞は結膜でない"が導かれる
9. 事実5から、推論8: "もし仮にその末梢血単核細胞は結膜でないなら「それは雄々しいけれど半月形でない」ということは成り立たない"が導かれる
10. 推論7と推論8から、推論9: "「その末梢血単核細胞は雄々しい一方で半月形でない」ということは成り立たない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

よって、仮説が否定されました。