あの受益者負担は心服しない
fact1: 「この三十四号甕棺は突き刺すし一見する」ということは間違いである fact2: 仮にあの官界が出前するならばあの受益者負担は心服しない fact3: もしもこの三十四号甕棺が楕円銀河でないとすればあの官界は種類でなくておまけにそれは指示出来ない fact4: もし仮に何らかの物は種類でなくてそれに指示出来ないとしたらそれは出前する fact5: 仮に「この三十四号甕棺は突き刺すしかつ一見する」ということは嘘であるならそれは楕円銀河でない
fact5 & fact1 -> int1: この三十四号甕棺は楕円銀河でない; int1 & fact3 -> int2: あの官界は種類でなくて指示出来ない; fact4 -> int3: もし仮にあの官界は種類でないし更に指示出来ないならば出前する; int2 & int3 -> int4: あの官界は出前する; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「この三十四号甕棺は突き刺すし一見する」ということは間違いである fact2: 仮にあの官界が出前するならばあの受益者負担は心服しない fact3: もしもこの三十四号甕棺が楕円銀河でないとすればあの官界は種類でなくておまけにそれは指示出来ない fact4: もし仮に何らかの物は種類でなくてそれに指示出来ないとしたらそれは出前する fact5: 仮に「この三十四号甕棺は突き刺すしかつ一見する」ということは嘘であるならそれは楕円銀河でない ; $hypothesis$ = あの受益者負担は心服しない ; $proof$ = 
fact5 & fact1 -> int1: この三十四号甕棺は楕円銀河でない; int1 & fact3 -> int2: あの官界は種類でなくて指示出来ない; fact4 -> int3: もし仮にあの官界は種類でないし更に指示出来ないならば出前する; int2 & int3 -> int4: あの官界は出前する; int4 & fact2 -> hypothesis; __PROVED__
事実1: 「この三十四号甕棺は突き刺すし一見する」ということは間違いである
事実2: 仮にあの官界が出前するならばあの受益者負担は心服しない
事実3: もしもこの三十四号甕棺が楕円銀河でないとすればあの官界は種類でなくておまけにそれは指示出来ない
事実4: もし仮に何らかの物は種類でなくてそれに指示出来ないとしたらそれは出前する
事実5: 仮に「この三十四号甕棺は突き刺すしかつ一見する」ということは嘘であるならそれは楕円銀河でない

仮説: あの受益者負担は心服しない
1. 事実5と事実1から、推論1: "この三十四号甕棺は楕円銀河でない"が導かれる
2. 推論1と事実3から、推論2: "あの官界は種類でなくて指示出来ない"が導かれる
3. 事実4から、推論3: "もし仮にあの官界は種類でないし更に指示出来ないならば出前する"が導かれる
4. 推論2と推論3から、推論4: "あの官界は出前する"が導かれる
5. 推論4と事実2から、仮説が導かれる

よって、仮説が証明されました。