「その工程間同期計画はホールインワンしないが拝礼する」ということは間違いだ
fact1: この投資理論は独身者であるしそれは拝礼する fact2: もしその工程間同期計画が拝礼しないとすればそれは眼圧である fact3: もしも何かは好況だとすると「ホールインワンしないがしかし拝礼する」ということは嘘である fact4: もし仮になにがしかの物は独身者でないならホールインワンしないけれど拝礼する fact5: その工程間同期計画は好況でない fact6: 着せがましいということはないものは拝礼しない fact7: あの直接体験は拝礼する fact8: その工程間同期計画は直り難くないがしかし間違い無い fact9: その一万七千余は独身者でない fact10: もし仮にその工程間同期計画が好況だということはないとすれば着せがましいがしかし独身者でない
fact10 & fact5 -> int1: その工程間同期計画は着せがましいがしかし独身者でない; int1 -> int2: その工程間同期計画は独身者でない; fact4 -> int3: もしも「その工程間同期計画は独身者でない」ということは偽でないならばホールインワンしなくてその上拝礼する; int2 & int3 -> hypothesis;
fact10 & fact5 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> int2: ¬{AB}{a}; fact4 -> int3: ¬{AB}{a} -> (¬{B}{a} & {C}{a}); int2 & int3 -> hypothesis;
この投資理論は独身者であるが書記しない
fact11 -> int4: この投資理論は独身者である;
$facts$ = fact1: この投資理論は独身者であるしそれは拝礼する fact2: もしその工程間同期計画が拝礼しないとすればそれは眼圧である fact3: もしも何かは好況だとすると「ホールインワンしないがしかし拝礼する」ということは嘘である fact4: もし仮になにがしかの物は独身者でないならホールインワンしないけれど拝礼する fact5: その工程間同期計画は好況でない fact6: 着せがましいということはないものは拝礼しない fact7: あの直接体験は拝礼する fact8: その工程間同期計画は直り難くないがしかし間違い無い fact9: その一万七千余は独身者でない fact10: もし仮にその工程間同期計画が好況だということはないとすれば着せがましいがしかし独身者でない ; $hypothesis$ = 「その工程間同期計画はホールインワンしないが拝礼する」ということは間違いだ ; $proof$ = 
fact10 & fact5 -> int1: その工程間同期計画は着せがましいがしかし独身者でない; int1 -> int2: その工程間同期計画は独身者でない; fact4 -> int3: もしも「その工程間同期計画は独身者でない」ということは偽でないならばホールインワンしなくてその上拝礼する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この投資理論は独身者であるしそれは拝礼する
事実2: もしその工程間同期計画が拝礼しないとすればそれは眼圧である
事実3: もしも何かは好況だとすると「ホールインワンしないがしかし拝礼する」ということは嘘である
事実4: もし仮になにがしかの物は独身者でないならホールインワンしないけれど拝礼する
事実5: その工程間同期計画は好況でない
事実6: 着せがましいということはないものは拝礼しない
事実7: あの直接体験は拝礼する
事実8: その工程間同期計画は直り難くないがしかし間違い無い
事実9: その一万七千余は独身者でない
事実10: もし仮にその工程間同期計画が好況だということはないとすれば着せがましいがしかし独身者でない

仮説: 「その工程間同期計画はホールインワンしないが拝礼する」ということは間違いだ
1. 事実10と事実5から、推論1: "その工程間同期計画は着せがましいがしかし独身者でない"が導かれる
2. 推論1から、推論2: "その工程間同期計画は独身者でない"が導かれる
3. 事実4から、推論3: "もしも「その工程間同期計画は独身者でない」ということは偽でないならばホールインワンしなくてその上拝礼する"が導かれる
4. 推論2と推論3から、仮説が否定される

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