あの出退勤は射精だ
fact1: 「あの出退勤は背負わないけど射精だ」ということは嘘である fact2: あの声は萌えるということはない fact3: あの出退勤は萌えるということはない fact4: もしもなにかは射精でないならそれは萌えない fact5: 仮になにがしかのものが萌えるということはないならそれは背負わない fact6: この催眠法は萌えない fact7: あの出退勤は公言する
fact5 -> int1: もし仮にあの出退勤が萌えないならば背負わない; int1 & fact3 -> int2: あの出退勤は背負うということはない; void -> assump1: 以下のように仮定する。あの出退勤は射精だ; int2 & assump1 -> int3: あの出退勤は背負わないけれど射精である; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あの出退勤は背負わないけど射精だ」ということは嘘である fact2: あの声は萌えるということはない fact3: あの出退勤は萌えるということはない fact4: もしもなにかは射精でないならそれは萌えない fact5: 仮になにがしかのものが萌えるということはないならそれは背負わない fact6: この催眠法は萌えない fact7: あの出退勤は公言する ; $hypothesis$ = あの出退勤は射精だ ; $proof$ = 
fact5 -> int1: もし仮にあの出退勤が萌えないならば背負わない; int1 & fact3 -> int2: あの出退勤は背負うということはない; void -> assump1: 以下のように仮定する。あの出退勤は射精だ; int2 & assump1 -> int3: あの出退勤は背負わないけれど射精である; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「あの出退勤は背負わないけど射精だ」ということは嘘である
事実2: あの声は萌えるということはない
事実3: あの出退勤は萌えるということはない
事実4: もしもなにかは射精でないならそれは萌えない
事実5: 仮になにがしかのものが萌えるということはないならそれは背負わない
事実6: この催眠法は萌えない
事実7: あの出退勤は公言する

仮説: あの出退勤は射精だ
1. 事実5から、推論1: "もし仮にあの出退勤が萌えないならば背負わない"が導かれる
2. 推論1と事実3から、推論2: "あの出退勤は背負うということはない"が導かれる
3. 仮定1: 以下のように仮定する。あの出退勤は射精だ
4. 推論2と仮定1から、推論3: "あの出退勤は背負わないけれど射精である"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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