あの生産数は虐殺する
fact1: 「その腑は飢えるしおまけに信じ易い」ということは事実と異なる fact2: 仮にこの過大納付が数値化出来るならばあの宋船は試合開始である fact3: もしあの生産数がラップ紙でないがしかし試合開始であるとすればそれは虐殺する fact4: 何かは表彰台でなくてそれはフルライン政策上でないとすると歩き辛い fact5: 表彰台は数値化出来る fact6: 「「飢えるしさらに信じ易い」ということは事実でない」物があるとすればこの過大納付は表彰台である fact7: 仮にその腑がラップ紙であるならばあの生産数は信じ易くないしラップ紙でない fact8: もしこの宋船が試合開始であるとしたらあの生産数はラップ紙でないしかつ試合開始だということはない fact9: もし「数値化出来ない」ものがあればこの過大納付は試合開始である fact10: それは表彰台だということはなくて試合開始だということはないというものはない fact11: もし仮に何らかの物がラップ紙でなくてそれにそれは試合開始でないとしたら虐殺する
fact1 -> int1: 「「飢えるししかも信じ易い」ということは事実と異なる」ものはある; int1 & fact6 -> int2: 「この過大納付は表彰台だ」ということは成り立つ; fact5 -> int3: この過大納付が表彰台ならばそれは数値化出来る; int2 & int3 -> int4: この過大納付は数値化出来る; int4 & fact2 -> int5: 「この宋船は試合開始である」ということは事実だ; int5 & fact8 -> int6: あの生産数はラップ紙でないしそれにそれは試合開始でない; fact11 -> int7: あの生産数がラップ紙でないししかも試合開始だということはないなら虐殺する; int6 & int7 -> hypothesis;
あの生産数は虐殺しない
fact12 -> int8: 「この宋船は表彰台でなくておまけに試合開始でない」ということは誤りだ;
$facts$ = fact1: 「その腑は飢えるしおまけに信じ易い」ということは事実と異なる fact2: 仮にこの過大納付が数値化出来るならばあの宋船は試合開始である fact3: もしあの生産数がラップ紙でないがしかし試合開始であるとすればそれは虐殺する fact4: 何かは表彰台でなくてそれはフルライン政策上でないとすると歩き辛い fact5: 表彰台は数値化出来る fact6: 「「飢えるしさらに信じ易い」ということは事実でない」物があるとすればこの過大納付は表彰台である fact7: 仮にその腑がラップ紙であるならばあの生産数は信じ易くないしラップ紙でない fact8: もしこの宋船が試合開始であるとしたらあの生産数はラップ紙でないしかつ試合開始だということはない fact9: もし「数値化出来ない」ものがあればこの過大納付は試合開始である fact10: それは表彰台だということはなくて試合開始だということはないというものはない fact11: もし仮に何らかの物がラップ紙でなくてそれにそれは試合開始でないとしたら虐殺する ; $hypothesis$ = あの生産数は虐殺する ; $proof$ = 
fact1 -> int1: 「「飢えるししかも信じ易い」ということは事実と異なる」ものはある; int1 & fact6 -> int2: 「この過大納付は表彰台だ」ということは成り立つ; fact5 -> int3: この過大納付が表彰台ならばそれは数値化出来る; int2 & int3 -> int4: この過大納付は数値化出来る; int4 & fact2 -> int5: 「この宋船は試合開始である」ということは事実だ; int5 & fact8 -> int6: あの生産数はラップ紙でないしそれにそれは試合開始でない; fact11 -> int7: あの生産数がラップ紙でないししかも試合開始だということはないなら虐殺する; int6 & int7 -> hypothesis; __PROVED__
事実1: 「その腑は飢えるしおまけに信じ易い」ということは事実と異なる
事実2: 仮にこの過大納付が数値化出来るならばあの宋船は試合開始である
事実3: もしあの生産数がラップ紙でないがしかし試合開始であるとすればそれは虐殺する
事実4: 何かは表彰台でなくてそれはフルライン政策上でないとすると歩き辛い
事実5: 表彰台は数値化出来る
事実6: 「「飢えるしさらに信じ易い」ということは事実でない」物があるとすればこの過大納付は表彰台である
事実7: 仮にその腑がラップ紙であるならばあの生産数は信じ易くないしラップ紙でない
事実8: もしこの宋船が試合開始であるとしたらあの生産数はラップ紙でないしかつ試合開始だということはない
事実9: もし「数値化出来ない」ものがあればこの過大納付は試合開始である
事実10: それは表彰台だということはなくて試合開始だということはないというものはない
事実11: もし仮に何らかの物がラップ紙でなくてそれにそれは試合開始でないとしたら虐殺する

仮説: あの生産数は虐殺する
1. 事実1から、推論1: "「「飢えるししかも信じ易い」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実6から、推論2: "「この過大納付は表彰台だ」ということは成り立つ"が導かれる
3. 事実5から、推論3: "この過大納付が表彰台ならばそれは数値化出来る"が導かれる
4. 推論2と推論3から、推論4: "この過大納付は数値化出来る"が導かれる
5. 推論4と事実2から、推論5: "「この宋船は試合開始である」ということは事実だ"が導かれる
6. 推論5と事実8から、推論6: "あの生産数はラップ紙でないしそれにそれは試合開始でない"が導かれる
7. 事実11から、推論7: "あの生産数がラップ紙でないししかも試合開始だということはないなら虐殺する"が導かれる
8. 推論6と推論7から、仮説が導かれる

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