「「もしアルゴリズムプランＥ‐ＳＷＥＥＰでないならば「名状し難い」ということは成り立つ」ものはある」ということは正しくない
fact1: 「もし仮に悪賢いとしたら貧しい」ものはある fact2: 仮にこの支払い済みが労働価値説でないとすればアルゴリズムプランＥ‐ＳＷＥＥＰである fact3: もし何かは活物質でないとすると鉛色だ fact4: もしなんらかの物はアルゴリズムプランＥ‐ＳＷＥＥＰでないなら小暗い fact5: この支払い済みは怒りっぽい fact6: もしもとある物が小暗いとしたら名状し難い fact7: この支払い済みは茹で零す fact8: 「この支払い済みは立ち止まらない」ということは本当だ fact9: 「もしその相手選手が小暗いとするとその相手選手は気高い」ということは成り立つ fact10: このニューシングルは演じ続ける fact11: 「この支払い済みは汚い」ということは真実である fact12: 苦しくないものは危うい fact13: 仮にこの支払い済みは埃っぽいとすると「増え過ぎる」ということは確かである fact14: 仮にあのアミロイドーシスが頼み難いならそれは小暗い fact15: 「あの最終保険料率は名状し難い」ということは確かだとすればそれは配信出来る fact16: この支払い済みは福利厚生施設だ fact17: もし仮にこの苦味成分が小暗いとしたらそれは蔑視する fact18: 「その見出しセルは参戦する」ということは真実だ fact19: もしも何かは活物質だとしたら校長室だ fact20: 「仮に乗降だということはないとすれば馬鹿馬鹿しい」ものはある fact21: 仮に「その悪阻は分かり易くない」ということは成り立つならそれは業界構造である fact22: 「この支払い済みは幾人だ」ということは確かである
fact4 -> int1: この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないとしたらそれは小暗い; void -> assump1: 以下のように仮定する。この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでない; int1 & assump1 -> int2: この支払い済みは小暗い; fact6 -> int3: もしこの支払い済みが小暗いならそれは名状し難い; int2 & int3 -> int4: この支払い済みは名状し難い; [assump1] & int4 -> int5: 仮にこの支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないならば名状し難い; int5 -> hypothesis;
$facts$ = fact1: 「もし仮に悪賢いとしたら貧しい」ものはある fact2: 仮にこの支払い済みが労働価値説でないとすればアルゴリズムプランＥ‐ＳＷＥＥＰである fact3: もし何かは活物質でないとすると鉛色だ fact4: もしなんらかの物はアルゴリズムプランＥ‐ＳＷＥＥＰでないなら小暗い fact5: この支払い済みは怒りっぽい fact6: もしもとある物が小暗いとしたら名状し難い fact7: この支払い済みは茹で零す fact8: 「この支払い済みは立ち止まらない」ということは本当だ fact9: 「もしその相手選手が小暗いとするとその相手選手は気高い」ということは成り立つ fact10: このニューシングルは演じ続ける fact11: 「この支払い済みは汚い」ということは真実である fact12: 苦しくないものは危うい fact13: 仮にこの支払い済みは埃っぽいとすると「増え過ぎる」ということは確かである fact14: 仮にあのアミロイドーシスが頼み難いならそれは小暗い fact15: 「あの最終保険料率は名状し難い」ということは確かだとすればそれは配信出来る fact16: この支払い済みは福利厚生施設だ fact17: もし仮にこの苦味成分が小暗いとしたらそれは蔑視する fact18: 「その見出しセルは参戦する」ということは真実だ fact19: もしも何かは活物質だとしたら校長室だ fact20: 「仮に乗降だということはないとすれば馬鹿馬鹿しい」ものはある fact21: 仮に「その悪阻は分かり易くない」ということは成り立つならそれは業界構造である fact22: 「この支払い済みは幾人だ」ということは確かである ; $hypothesis$ = 「「もしアルゴリズムプランＥ‐ＳＷＥＥＰでないならば「名状し難い」ということは成り立つ」ものはある」ということは正しくない ; $proof$ = 
fact4 -> int1: この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないとしたらそれは小暗い; void -> assump1: 以下のように仮定する。この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでない; int1 & assump1 -> int2: この支払い済みは小暗い; fact6 -> int3: もしこの支払い済みが小暗いならそれは名状し難い; int2 & int3 -> int4: この支払い済みは名状し難い; [assump1] & int4 -> int5: 仮にこの支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないならば名状し難い; int5 -> hypothesis; __DISPROVED__
事実1: 「もし仮に悪賢いとしたら貧しい」ものはある
事実2: 仮にこの支払い済みが労働価値説でないとすればアルゴリズムプランＥ‐ＳＷＥＥＰである
事実3: もし何かは活物質でないとすると鉛色だ
事実4: もしなんらかの物はアルゴリズムプランＥ‐ＳＷＥＥＰでないなら小暗い
事実5: この支払い済みは怒りっぽい
事実6: もしもとある物が小暗いとしたら名状し難い
事実7: この支払い済みは茹で零す
事実8: 「この支払い済みは立ち止まらない」ということは本当だ
事実9: 「もしその相手選手が小暗いとするとその相手選手は気高い」ということは成り立つ
事実10: このニューシングルは演じ続ける
事実11: 「この支払い済みは汚い」ということは真実である
事実12: 苦しくないものは危うい
事実13: 仮にこの支払い済みは埃っぽいとすると「増え過ぎる」ということは確かである
事実14: 仮にあのアミロイドーシスが頼み難いならそれは小暗い
事実15: 「あの最終保険料率は名状し難い」ということは確かだとすればそれは配信出来る
事実16: この支払い済みは福利厚生施設だ
事実17: もし仮にこの苦味成分が小暗いとしたらそれは蔑視する
事実18: 「その見出しセルは参戦する」ということは真実だ
事実19: もしも何かは活物質だとしたら校長室だ
事実20: 「仮に乗降だということはないとすれば馬鹿馬鹿しい」ものはある
事実21: 仮に「その悪阻は分かり易くない」ということは成り立つならそれは業界構造である
事実22: 「この支払い済みは幾人だ」ということは確かである

仮説: 「「もしアルゴリズムプランＥ‐ＳＷＥＥＰでないならば「名状し難い」ということは成り立つ」ものはある」ということは正しくない
1. 事実4から、推論1: "この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないとしたらそれは小暗い"が導かれる
2. 仮定1: 以下のように仮定する。この支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでない
3. 推論1と仮定1から、推論2: "この支払い済みは小暗い"が導かれる
4. 事実6から、推論3: "もしこの支払い済みが小暗いならそれは名状し難い"が導かれる
5. 推論2と推論3から、推論4: "この支払い済みは名状し難い"が導かれる
6. [仮定1]と推論4から、推論5: "仮にこの支払い済みはアルゴリズムプランＥ‐ＳＷＥＥＰでないならば名状し難い"が導かれる
7. 推論5から、仮説が否定される

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