この静電気は連結決算だということはない
fact1: もしなんらかの物が古くてそれが貴公子だとするとこの静電気は尊し fact2: 尊しものは連結決算である fact3: とある物が振り撒くならそれは薄ら寒い fact4: この行動療法は尊し fact5: 何かは古い fact6: なにがしかのものは貴公子だ fact7: この多核巨細胞は錬成するし古い fact8: もしもこの静電気が連結決算だとしたらそれは薄ら寒い fact9: この多核巨細胞は薄ら寒い fact10: もしもこの多核巨細胞が薄ら寒いとすれば貴公子だ fact11: もしもこの七十八ページ参照が古いとすればこの多核巨細胞は錬成する
fact7 -> int1: この多核巨細胞は古い; fact10 & fact9 -> int2: この多核巨細胞は貴公子である; int1 & int2 -> int3: この多核巨細胞は古い貴公子だ; int3 -> int4: なにがしかの物が古いしその上貴公子である; int4 & fact1 -> int5: この静電気は尊し; fact2 -> int6: もし仮にこの静電気が尊しとすると連結決算である; int5 & int6 -> hypothesis;
もし仮に「この静電気は振り撒く」ということは真実であるとすると「それは薄ら寒い」ということは真実である
fact12 -> hypothesis;
$facts$ = fact1: もしなんらかの物が古くてそれが貴公子だとするとこの静電気は尊し fact2: 尊しものは連結決算である fact3: とある物が振り撒くならそれは薄ら寒い fact4: この行動療法は尊し fact5: 何かは古い fact6: なにがしかのものは貴公子だ fact7: この多核巨細胞は錬成するし古い fact8: もしもこの静電気が連結決算だとしたらそれは薄ら寒い fact9: この多核巨細胞は薄ら寒い fact10: もしもこの多核巨細胞が薄ら寒いとすれば貴公子だ fact11: もしもこの七十八ページ参照が古いとすればこの多核巨細胞は錬成する ; $hypothesis$ = この静電気は連結決算だということはない ; $proof$ = 
fact7 -> int1: この多核巨細胞は古い; fact10 & fact9 -> int2: この多核巨細胞は貴公子である; int1 & int2 -> int3: この多核巨細胞は古い貴公子だ; int3 -> int4: なにがしかの物が古いしその上貴公子である; int4 & fact1 -> int5: この静電気は尊し; fact2 -> int6: もし仮にこの静電気が尊しとすると連結決算である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が古くてそれが貴公子だとするとこの静電気は尊し
事実2: 尊しものは連結決算である
事実3: とある物が振り撒くならそれは薄ら寒い
事実4: この行動療法は尊し
事実5: 何かは古い
事実6: なにがしかのものは貴公子だ
事実7: この多核巨細胞は錬成するし古い
事実8: もしもこの静電気が連結決算だとしたらそれは薄ら寒い
事実9: この多核巨細胞は薄ら寒い
事実10: もしもこの多核巨細胞が薄ら寒いとすれば貴公子だ
事実11: もしもこの七十八ページ参照が古いとすればこの多核巨細胞は錬成する

仮説: この静電気は連結決算だということはない
1. 事実7から、推論1: "この多核巨細胞は古い"が導かれる
2. 事実10と事実9から、推論2: "この多核巨細胞は貴公子である"が導かれる
3. 推論1と推論2から、推論3: "この多核巨細胞は古い貴公子だ"が導かれる
4. 推論3から、推論4: "なにがしかの物が古いしその上貴公子である"が導かれる
5. 推論4と事実1から、推論5: "この静電気は尊し"が導かれる
6. 事実2から、推論6: "もし仮にこの静電気が尊しとすると連結決算である"が導かれる
7. 推論5と推論6から、仮説が否定される

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