「もし仮にこの国内資本が出港ならばあの論理力は追及するということはない」ということは偽である
fact1: なにかは追及しないとすると出港である fact2: もしあの論理力が追及するし加えてそれが掻き易いとすればあの国内資本は出港だということはない fact3: もしもこの国内資本が出港ならばあの論理力は追及する fact4: その型紙は出港でない fact5: もし仮に掻き易いものはあるとしたら「あの論理力は追及する」ということは事実と異ならない fact6: この国内資本は生活集団だ fact7: そのペニーは掻き易くない fact8: 「晒され易い」物があるとするとあの論理力は掻き易い fact9: 「もし仮にあの論理力が出港だとしたらこの国内資本は追及する」ということは事実である fact10: その支払い企業は追及しない fact11: 何らかの物は晒され易い fact12: あの論理力は出港だ fact13: この国内資本は掻き易い fact14: 仮にあの論理力が掻き易いけれど失しないならその支払い企業は失する fact15: あの論理力は参与者であるしそれに滑り難い fact16: あの論理力はひょろ長くて如此し
fact11 & fact8 -> int1: あの論理力は掻き易い; void -> assump1: 以下のように仮定する。あの論理力は追及する; int1 & assump1 -> int2: あの論理力は追及するし掻き易い; int2 & fact2 -> int3: この国内資本は出港でない; void -> assump2: 以下のように仮定する。この国内資本は出港である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの論理力は追及しない; [assump2] & int5 -> hypothesis;
その支払い企業は出港でおまけに失する
fact18 -> int6: その支払い企業が追及しないとすれば出港だ; int6 & fact17 -> int7: その支払い企業は出港である;
$facts$ = fact1: なにかは追及しないとすると出港である fact2: もしあの論理力が追及するし加えてそれが掻き易いとすればあの国内資本は出港だということはない fact3: もしもこの国内資本が出港ならばあの論理力は追及する fact4: その型紙は出港でない fact5: もし仮に掻き易いものはあるとしたら「あの論理力は追及する」ということは事実と異ならない fact6: この国内資本は生活集団だ fact7: そのペニーは掻き易くない fact8: 「晒され易い」物があるとするとあの論理力は掻き易い fact9: 「もし仮にあの論理力が出港だとしたらこの国内資本は追及する」ということは事実である fact10: その支払い企業は追及しない fact11: 何らかの物は晒され易い fact12: あの論理力は出港だ fact13: この国内資本は掻き易い fact14: 仮にあの論理力が掻き易いけれど失しないならその支払い企業は失する fact15: あの論理力は参与者であるしそれに滑り難い fact16: あの論理力はひょろ長くて如此し ; $hypothesis$ = 「もし仮にこの国内資本が出港ならばあの論理力は追及するということはない」ということは偽である ; $proof$ = 
fact11 & fact8 -> int1: あの論理力は掻き易い; void -> assump1: 以下のように仮定する。あの論理力は追及する; int1 & assump1 -> int2: あの論理力は追及するし掻き易い; int2 & fact2 -> int3: この国内資本は出港でない; void -> assump2: 以下のように仮定する。この国内資本は出港である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの論理力は追及しない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: なにかは追及しないとすると出港である
事実2: もしあの論理力が追及するし加えてそれが掻き易いとすればあの国内資本は出港だということはない
事実3: もしもこの国内資本が出港ならばあの論理力は追及する
事実4: その型紙は出港でない
事実5: もし仮に掻き易いものはあるとしたら「あの論理力は追及する」ということは事実と異ならない
事実6: この国内資本は生活集団だ
事実7: そのペニーは掻き易くない
事実8: 「晒され易い」物があるとするとあの論理力は掻き易い
事実9: 「もし仮にあの論理力が出港だとしたらこの国内資本は追及する」ということは事実である
事実10: その支払い企業は追及しない
事実11: 何らかの物は晒され易い
事実12: あの論理力は出港だ
事実13: この国内資本は掻き易い
事実14: 仮にあの論理力が掻き易いけれど失しないならその支払い企業は失する
事実15: あの論理力は参与者であるしそれに滑り難い
事実16: あの論理力はひょろ長くて如此し

仮説: 「もし仮にこの国内資本が出港ならばあの論理力は追及するということはない」ということは偽である
1. 事実11と事実8から、推論1: "あの論理力は掻き易い"が導かれる
2. 仮定1: 以下のように仮定する。あの論理力は追及する
3. 推論1と仮定1から、推論2: "あの論理力は追及するし掻き易い"が導かれる
4. 推論2と事実2から、推論3: "この国内資本は出港でない"が導かれる
5. 仮定2: 以下のように仮定する。この国内資本は出港である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの論理力は追及しない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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