あの鰯は投稿出来ない
fact1: もし「「ちょろいか絶え間無くないかまたは両方である」ということは嘘である」物があるとするとあの鰯は泣き続けない fact2: もし「「会議派であるかもしくは投稿出来ないかまたは両方だ」ということは成り立たない」ものがあるとするとあの鰯は痛いということはない fact3: あの鰯は料理シーン・厨房編であるしその上テキスト連結である fact4: 「「ちょろいか絶え間無くないか両方だ」ということは誤りな」物はある fact5: あの鰯は会議派で更に痛い fact6: なにがしかのものは会議派でない fact7: もし仮にあの多産は更新手続きであるとしたら「それは絶え間無くないしさらに病気休暇でない」ということは偽である fact8: もし仮に「あの鰯は会議派である」ということは確かであるとしたら「それは泣き続けるということはなくて投稿出来ない」ということは成り立たない
fact4 & fact1 -> int1: あの鰯は泣き続けない; void -> assump1: 以下のように仮定する。あの鰯は投稿出来るということはない; int1 & assump1 -> int2: あの鰯は泣き続けるということはなくて投稿出来るということはない; fact5 -> int3: あの鰯は会議派である; int3 & fact8 -> int4: 「あの鰯は泣き続けないし投稿出来ない」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし「「ちょろいか絶え間無くないかまたは両方である」ということは嘘である」物があるとするとあの鰯は泣き続けない fact2: もし「「会議派であるかもしくは投稿出来ないかまたは両方だ」ということは成り立たない」ものがあるとするとあの鰯は痛いということはない fact3: あの鰯は料理シーン・厨房編であるしその上テキスト連結である fact4: 「「ちょろいか絶え間無くないか両方だ」ということは誤りな」物はある fact5: あの鰯は会議派で更に痛い fact6: なにがしかのものは会議派でない fact7: もし仮にあの多産は更新手続きであるとしたら「それは絶え間無くないしさらに病気休暇でない」ということは偽である fact8: もし仮に「あの鰯は会議派である」ということは確かであるとしたら「それは泣き続けるということはなくて投稿出来ない」ということは成り立たない ; $hypothesis$ = あの鰯は投稿出来ない ; $proof$ = 
fact4 & fact1 -> int1: あの鰯は泣き続けない; void -> assump1: 以下のように仮定する。あの鰯は投稿出来るということはない; int1 & assump1 -> int2: あの鰯は泣き続けるということはなくて投稿出来るということはない; fact5 -> int3: あの鰯は会議派である; int3 & fact8 -> int4: 「あの鰯は泣き続けないし投稿出来ない」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし「「ちょろいか絶え間無くないかまたは両方である」ということは嘘である」物があるとするとあの鰯は泣き続けない
事実2: もし「「会議派であるかもしくは投稿出来ないかまたは両方だ」ということは成り立たない」ものがあるとするとあの鰯は痛いということはない
事実3: あの鰯は料理シーン・厨房編であるしその上テキスト連結である
事実4: 「「ちょろいか絶え間無くないか両方だ」ということは誤りな」物はある
事実5: あの鰯は会議派で更に痛い
事実6: なにがしかのものは会議派でない
事実7: もし仮にあの多産は更新手続きであるとしたら「それは絶え間無くないしさらに病気休暇でない」ということは偽である
事実8: もし仮に「あの鰯は会議派である」ということは確かであるとしたら「それは泣き続けるということはなくて投稿出来ない」ということは成り立たない

仮説: あの鰯は投稿出来ない
1. 事実4と事実1から、推論1: "あの鰯は泣き続けない"が導かれる
2. 仮定1: 以下のように仮定する。あの鰯は投稿出来るということはない
3. 推論1と仮定1から、推論2: "あの鰯は泣き続けるということはなくて投稿出来るということはない"が導かれる
4. 事実5から、推論3: "あの鰯は会議派である"が導かれる
5. 推論3と事実8から、推論4: "「あの鰯は泣き続けないし投稿出来ない」ということは事実と異なる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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