あの吸収力は手子摺るということはない
fact1: この年度は手子摺る fact2: この年度は増幅出来る fact3: あの吸収力は睦まじい fact4: ある物は睦まじい fact5: その自然死は共伴するしおまけに逸らす fact6: もしその自然死が村中だとすればあのミスマッチは睦まじい fact7: もし仮に「なにかは増幅出来ない」ということは確かであるなら「それは睦まじいがしかし村中でない」ということは成り立つということはない fact8: もしなにがしかの物が嘆かわしいとすれば手子摺る fact9: 仮にこの年度が増幅出来るとすればこのミスマッチは増幅出来る fact10: 「このミスマッチは手子摺る」ということは本当である fact11: 「増幅出来るし睦まじい」ものがあるならあの吸収力は嘆かわしい fact12: 「増幅出来る」ものはある fact13: もしもその自然死は共伴すれば「増幅出来ないし嘆かわしい」ということは事実と異なる fact14: 「その自然死は村中だ」ということは事実だ fact15: あの大型犬は増幅出来る
fact6 & fact14 -> int1: このミスマッチは睦まじい; fact2 & fact9 -> int2: このミスマッチは増幅出来る; int1 & int2 -> int3: このミスマッチは増幅出来るしまた睦まじい; int3 -> int4: 「増幅出来るし更に睦まじい」物はある; int4 & fact11 -> int5: あの吸収力は嘆かわしい; fact8 -> int6: 仮にあの吸収力が嘆かわしいなら手子摺る; int5 & int6 -> hypothesis;
あの吸収力は手子摺らない
fact16 -> int7: もしその自然死は増幅出来るということはないとすると「それは睦まじいがしかし村中でない」ということは間違っている;
$facts$ = fact1: この年度は手子摺る fact2: この年度は増幅出来る fact3: あの吸収力は睦まじい fact4: ある物は睦まじい fact5: その自然死は共伴するしおまけに逸らす fact6: もしその自然死が村中だとすればあのミスマッチは睦まじい fact7: もし仮に「なにかは増幅出来ない」ということは確かであるなら「それは睦まじいがしかし村中でない」ということは成り立つということはない fact8: もしなにがしかの物が嘆かわしいとすれば手子摺る fact9: 仮にこの年度が増幅出来るとすればこのミスマッチは増幅出来る fact10: 「このミスマッチは手子摺る」ということは本当である fact11: 「増幅出来るし睦まじい」ものがあるならあの吸収力は嘆かわしい fact12: 「増幅出来る」ものはある fact13: もしもその自然死は共伴すれば「増幅出来ないし嘆かわしい」ということは事実と異なる fact14: 「その自然死は村中だ」ということは事実だ fact15: あの大型犬は増幅出来る ; $hypothesis$ = あの吸収力は手子摺るということはない ; $proof$ = 
fact6 & fact14 -> int1: このミスマッチは睦まじい; fact2 & fact9 -> int2: このミスマッチは増幅出来る; int1 & int2 -> int3: このミスマッチは増幅出来るしまた睦まじい; int3 -> int4: 「増幅出来るし更に睦まじい」物はある; int4 & fact11 -> int5: あの吸収力は嘆かわしい; fact8 -> int6: 仮にあの吸収力が嘆かわしいなら手子摺る; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この年度は手子摺る
事実2: この年度は増幅出来る
事実3: あの吸収力は睦まじい
事実4: ある物は睦まじい
事実5: その自然死は共伴するしおまけに逸らす
事実6: もしその自然死が村中だとすればあのミスマッチは睦まじい
事実7: もし仮に「なにかは増幅出来ない」ということは確かであるなら「それは睦まじいがしかし村中でない」ということは成り立つということはない
事実8: もしなにがしかの物が嘆かわしいとすれば手子摺る
事実9: 仮にこの年度が増幅出来るとすればこのミスマッチは増幅出来る
事実10: 「このミスマッチは手子摺る」ということは本当である
事実11: 「増幅出来るし睦まじい」ものがあるならあの吸収力は嘆かわしい
事実12: 「増幅出来る」ものはある
事実13: もしもその自然死は共伴すれば「増幅出来ないし嘆かわしい」ということは事実と異なる
事実14: 「その自然死は村中だ」ということは事実だ
事実15: あの大型犬は増幅出来る

仮説: あの吸収力は手子摺るということはない
1. 事実6と事実14から、推論1: "このミスマッチは睦まじい"が導かれる
2. 事実2と事実9から、推論2: "このミスマッチは増幅出来る"が導かれる
3. 推論1と推論2から、推論3: "このミスマッチは増幅出来るしまた睦まじい"が導かれる
4. 推論3から、推論4: "「増幅出来るし更に睦まじい」物はある"が導かれる
5. 推論4と事実11から、推論5: "あの吸収力は嘆かわしい"が導かれる
6. 事実8から、推論6: "仮にあの吸収力が嘆かわしいなら手子摺る"が導かれる
7. 推論5と推論6から、仮説が否定される

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