「この探偵物は生湯葉だしまた旨い」ということは確かであるということはない
fact1: とある物は今まで通りであるとすればそれは生湯葉である fact2: もしも「この営利新聞は今まで通りでないがそれは放出する」ということは成り立つということはないとしたらその物質宇宙は放出しない fact3: 仮にその物質宇宙が名脇役であるならばあの探偵物は旨い fact4: もし割れ難いということはないものがあればその物質宇宙は一件落着だ fact5: もし仮にこの文字メッセージは名脇役であるということはないならば「この営利新聞は今まで通りでない一方でそれは放出する」ということは間違っている fact6: もし仮に「「買い取りであるしかつ不味い」ということは確かでない」ものがあればその物質宇宙は名脇役だ fact7: もしもあるものが放出するとすればそれは生湯葉だ fact8: この探偵物は悪声でない fact9: もし仮に何らかのものは名脇役でないならば「あの通訳人は恋愛関係だし名脇役である」ということは成り立たない fact10: 仮にその物質宇宙が国民意識でないとすればそれは蟻であるかそれは旨いかもしくはどちらもだ fact11: もし「あの通訳人は恋愛関係でおまけに名脇役である」ということは成り立たないとしたら「この文字メッセージは名脇役でない」ということは確かである fact12: 仮にこの探偵物が悪声でないとすればそれは今まで通りであるかあるいは放出するか両方ともである fact13: 「「「名脇役だけれどリタルダンドでない」ということは正しい」ということは成り立たない」物はある fact14: 「この探偵物は不味い」ということは間違っていない fact15: 「「買い取りであるしさらに不味い」ということは確かでない」ものはある fact16: その物質宇宙は名脇役であるかもしくは長けるかまたは両方ともだ fact17: もしなにがしかの物が紡ぎ出すとしたらチーク材だ fact18: その物質宇宙は不味い fact19: もしも「「名脇役である一方でリタルダンドだということはない」ということは事実と異なる」ものはあるとすると「あの越冬隊員は名脇役でない」ということは本当である
fact15 & fact6 -> int1: その物質宇宙は名脇役だ; int1 & fact3 -> int2: この探偵物は旨い; fact7 -> int3: もしこの探偵物は放出するなら「それは生湯葉である」ということは嘘でない; fact1 -> int4: この探偵物は今まで通りであるならばそれは生湯葉だ; fact8 & fact12 -> int5: この探偵物は今まで通りであるかもしくは放出するかもしくは両方ともである; int3 & int4 & int5 -> int6: この探偵物は生湯葉だ; int2 & int6 -> hypothesis;
「この探偵物は生湯葉で旨い」ということは成り立たない
fact21 & fact25 -> int7: あの越冬隊員は名脇役でない; int7 -> int8: 「名脇役でない」物はある; int8 & fact23 -> int9: 「あの通訳人は恋愛関係であるしそれは名脇役だ」ということは偽だ; fact20 & int9 -> int10: この文字メッセージは名脇役でない; fact24 & int10 -> int11: 「この営利新聞は今まで通りでないけどそれは放出する」ということは確かだということはない; fact22 & int11 -> int12: その物質宇宙は放出しない; int12 -> int13: その物質宇宙は放出するということはないかそれは旨くない;
$facts$ = fact1: とある物は今まで通りであるとすればそれは生湯葉である fact2: もしも「この営利新聞は今まで通りでないがそれは放出する」ということは成り立つということはないとしたらその物質宇宙は放出しない fact3: 仮にその物質宇宙が名脇役であるならばあの探偵物は旨い fact4: もし割れ難いということはないものがあればその物質宇宙は一件落着だ fact5: もし仮にこの文字メッセージは名脇役であるということはないならば「この営利新聞は今まで通りでない一方でそれは放出する」ということは間違っている fact6: もし仮に「「買い取りであるしかつ不味い」ということは確かでない」ものがあればその物質宇宙は名脇役だ fact7: もしもあるものが放出するとすればそれは生湯葉だ fact8: この探偵物は悪声でない fact9: もし仮に何らかのものは名脇役でないならば「あの通訳人は恋愛関係だし名脇役である」ということは成り立たない fact10: 仮にその物質宇宙が国民意識でないとすればそれは蟻であるかそれは旨いかもしくはどちらもだ fact11: もし「あの通訳人は恋愛関係でおまけに名脇役である」ということは成り立たないとしたら「この文字メッセージは名脇役でない」ということは確かである fact12: 仮にこの探偵物が悪声でないとすればそれは今まで通りであるかあるいは放出するか両方ともである fact13: 「「「名脇役だけれどリタルダンドでない」ということは正しい」ということは成り立たない」物はある fact14: 「この探偵物は不味い」ということは間違っていない fact15: 「「買い取りであるしさらに不味い」ということは確かでない」ものはある fact16: その物質宇宙は名脇役であるかもしくは長けるかまたは両方ともだ fact17: もしなにがしかの物が紡ぎ出すとしたらチーク材だ fact18: その物質宇宙は不味い fact19: もしも「「名脇役である一方でリタルダンドだということはない」ということは事実と異なる」ものはあるとすると「あの越冬隊員は名脇役でない」ということは本当である ; $hypothesis$ = 「この探偵物は生湯葉だしまた旨い」ということは確かであるということはない ; $proof$ = 
fact15 & fact6 -> int1: その物質宇宙は名脇役だ; int1 & fact3 -> int2: この探偵物は旨い; fact7 -> int3: もしこの探偵物は放出するなら「それは生湯葉である」ということは嘘でない; fact1 -> int4: この探偵物は今まで通りであるならばそれは生湯葉だ; fact8 & fact12 -> int5: この探偵物は今まで通りであるかもしくは放出するかもしくは両方ともである; int3 & int4 & int5 -> int6: この探偵物は生湯葉だ; int2 & int6 -> hypothesis; __DISPROVED__
事実1: とある物は今まで通りであるとすればそれは生湯葉である
事実2: もしも「この営利新聞は今まで通りでないがそれは放出する」ということは成り立つということはないとしたらその物質宇宙は放出しない
事実3: 仮にその物質宇宙が名脇役であるならばあの探偵物は旨い
事実4: もし割れ難いということはないものがあればその物質宇宙は一件落着だ
事実5: もし仮にこの文字メッセージは名脇役であるということはないならば「この営利新聞は今まで通りでない一方でそれは放出する」ということは間違っている
事実6: もし仮に「「買い取りであるしかつ不味い」ということは確かでない」ものがあればその物質宇宙は名脇役だ
事実7: もしもあるものが放出するとすればそれは生湯葉だ
事実8: この探偵物は悪声でない
事実9: もし仮に何らかのものは名脇役でないならば「あの通訳人は恋愛関係だし名脇役である」ということは成り立たない
事実10: 仮にその物質宇宙が国民意識でないとすればそれは蟻であるかそれは旨いかもしくはどちらもだ
事実11: もし「あの通訳人は恋愛関係でおまけに名脇役である」ということは成り立たないとしたら「この文字メッセージは名脇役でない」ということは確かである
事実12: 仮にこの探偵物が悪声でないとすればそれは今まで通りであるかあるいは放出するか両方ともである
事実13: 「「「名脇役だけれどリタルダンドでない」ということは正しい」ということは成り立たない」物はある
事実14: 「この探偵物は不味い」ということは間違っていない
事実15: 「「買い取りであるしさらに不味い」ということは確かでない」ものはある
事実16: その物質宇宙は名脇役であるかもしくは長けるかまたは両方ともだ
事実17: もしなにがしかの物が紡ぎ出すとしたらチーク材だ
事実18: その物質宇宙は不味い
事実19: もしも「「名脇役である一方でリタルダンドだということはない」ということは事実と異なる」ものはあるとすると「あの越冬隊員は名脇役でない」ということは本当である

仮説: 「この探偵物は生湯葉だしまた旨い」ということは確かであるということはない
1. 事実15と事実6から、推論1: "その物質宇宙は名脇役だ"が導かれる
2. 推論1と事実3から、推論2: "この探偵物は旨い"が導かれる
3. 事実7から、推論3: "もしこの探偵物は放出するなら「それは生湯葉である」ということは嘘でない"が導かれる
4. 事実1から、推論4: "この探偵物は今まで通りであるならばそれは生湯葉だ"が導かれる
5. 事実8と事実12から、推論5: "この探偵物は今まで通りであるかもしくは放出するかもしくは両方ともである"が導かれる
6. 推論3と推論4と推論5から、推論6: "この探偵物は生湯葉だ"が導かれる
7. 推論2と推論6から、仮説が否定される

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