「仮に「あの大帯姫は太い」ということは真実であるなら「あのどくだみはカミングアウトしないかまたはそれはダブらない」ということは間違っている」ということは誤りである
fact1: 「その緊張は契約形態でないかまたは見直ししないか両方ともだ」ということは偽だ fact2: もし仮にその緊張はカミングアウトするとしたら「あのどくだみはカミングアウトするかもしくはダブらないかどちらもだ」ということは成り立つということはない fact3: 「「その緊張は悠久でないかまたはそれはダブらないかまたは両方ともである」ということは偽だ」ということは成り立つ fact4: あのどくだみは太い fact5: その緊張は行い続ける fact6: 「あの大帯姫はネオでないかもしくは注ぎ足さない」ということは事実と異なる fact7: 「その肋骨頭は契約形態でないかもしくはネオでない」ということは成り立たない fact8: あの大帯姫はカミングアウトする fact9: もしもあの大帯姫が太いとするとその引き上げは契約形態である fact10: 仮にあの大帯姫は太いとすれば「あのどくだみはカミングアウトするかもしくはそれはダブらないかあるいは両方だ」ということは偽である fact11: 「その引き上げはカミングアウトする」ということは真実である fact12: もしもあのどくだみは契約形態だとすると「その引き上げはダブる」ということは成り立つ fact13: あのどくだみはカミングアウトしないかまたはそれはダブらない fact14: 「仮にその緊張がカミングアウトするならあのどくだみは太い」ということは確かである fact15: 仮にあの大帯姫が太いならあのどくだみはカミングアウトしないかまたはそれはダブらない fact16: あのどくだみはダブる fact17: もしその引き上げが契約形態であるならばあの緊張はカミングアウトする fact18: その緊張はカミングアウトするとすると「あのどくだみはカミングアウトしないかもしくはダブらない」ということは嘘である fact19: もし仮にあの大帯姫が太いならばあのどくだみはダブる fact20: もし仮にその引き上げは太いならば「あの大帯姫は太くないかもしくは契約形態でないかもしくは両方である」ということは間違っている
void -> assump1: 以下のように仮定する。あの大帯姫は太い; fact9 & assump1 -> int1: その引き上げは契約形態だ; int1 & fact17 -> int2: その緊張はカミングアウトする; int2 & fact18 -> int3: 「あのどくだみはカミングアウトしないかまたはそれはダブらないかあるいは両方ともである」ということは間違っている; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「その緊張は契約形態でないかまたは見直ししないか両方ともだ」ということは偽だ fact2: もし仮にその緊張はカミングアウトするとしたら「あのどくだみはカミングアウトするかもしくはダブらないかどちらもだ」ということは成り立つということはない fact3: 「「その緊張は悠久でないかまたはそれはダブらないかまたは両方ともである」ということは偽だ」ということは成り立つ fact4: あのどくだみは太い fact5: その緊張は行い続ける fact6: 「あの大帯姫はネオでないかもしくは注ぎ足さない」ということは事実と異なる fact7: 「その肋骨頭は契約形態でないかもしくはネオでない」ということは成り立たない fact8: あの大帯姫はカミングアウトする fact9: もしもあの大帯姫が太いとするとその引き上げは契約形態である fact10: 仮にあの大帯姫は太いとすれば「あのどくだみはカミングアウトするかもしくはそれはダブらないかあるいは両方だ」ということは偽である fact11: 「その引き上げはカミングアウトする」ということは真実である fact12: もしもあのどくだみは契約形態だとすると「その引き上げはダブる」ということは成り立つ fact13: あのどくだみはカミングアウトしないかまたはそれはダブらない fact14: 「仮にその緊張がカミングアウトするならあのどくだみは太い」ということは確かである fact15: 仮にあの大帯姫が太いならあのどくだみはカミングアウトしないかまたはそれはダブらない fact16: あのどくだみはダブる fact17: もしその引き上げが契約形態であるならばあの緊張はカミングアウトする fact18: その緊張はカミングアウトするとすると「あのどくだみはカミングアウトしないかもしくはダブらない」ということは嘘である fact19: もし仮にあの大帯姫が太いならばあのどくだみはダブる fact20: もし仮にその引き上げは太いならば「あの大帯姫は太くないかもしくは契約形態でないかもしくは両方である」ということは間違っている ; $hypothesis$ = 「仮に「あの大帯姫は太い」ということは真実であるなら「あのどくだみはカミングアウトしないかまたはそれはダブらない」ということは間違っている」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大帯姫は太い; fact9 & assump1 -> int1: その引き上げは契約形態だ; int1 & fact17 -> int2: その緊張はカミングアウトする; int2 & fact18 -> int3: 「あのどくだみはカミングアウトしないかまたはそれはダブらないかあるいは両方ともである」ということは間違っている; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「その緊張は契約形態でないかまたは見直ししないか両方ともだ」ということは偽だ
事実2: もし仮にその緊張はカミングアウトするとしたら「あのどくだみはカミングアウトするかもしくはダブらないかどちらもだ」ということは成り立つということはない
事実3: 「「その緊張は悠久でないかまたはそれはダブらないかまたは両方ともである」ということは偽だ」ということは成り立つ
事実4: あのどくだみは太い
事実5: その緊張は行い続ける
事実6: 「あの大帯姫はネオでないかもしくは注ぎ足さない」ということは事実と異なる
事実7: 「その肋骨頭は契約形態でないかもしくはネオでない」ということは成り立たない
事実8: あの大帯姫はカミングアウトする
事実9: もしもあの大帯姫が太いとするとその引き上げは契約形態である
事実10: 仮にあの大帯姫は太いとすれば「あのどくだみはカミングアウトするかもしくはそれはダブらないかあるいは両方だ」ということは偽である
事実11: 「その引き上げはカミングアウトする」ということは真実である
事実12: もしもあのどくだみは契約形態だとすると「その引き上げはダブる」ということは成り立つ
事実13: あのどくだみはカミングアウトしないかまたはそれはダブらない
事実14: 「仮にその緊張がカミングアウトするならあのどくだみは太い」ということは確かである
事実15: 仮にあの大帯姫が太いならあのどくだみはカミングアウトしないかまたはそれはダブらない
事実16: あのどくだみはダブる
事実17: もしその引き上げが契約形態であるならばあの緊張はカミングアウトする
事実18: その緊張はカミングアウトするとすると「あのどくだみはカミングアウトしないかもしくはダブらない」ということは嘘である
事実19: もし仮にあの大帯姫が太いならばあのどくだみはダブる
事実20: もし仮にその引き上げは太いならば「あの大帯姫は太くないかもしくは契約形態でないかもしくは両方である」ということは間違っている

仮説: 「仮に「あの大帯姫は太い」ということは真実であるなら「あのどくだみはカミングアウトしないかまたはそれはダブらない」ということは間違っている」ということは誤りである
1. 仮定1: 以下のように仮定する。あの大帯姫は太い
2. 事実9と仮定1から、推論1: "その引き上げは契約形態だ"が導かれる
3. 推論1と事実17から、推論2: "その緊張はカミングアウトする"が導かれる
4. 推論2と事実18から、推論3: "「あのどくだみはカミングアウトしないかまたはそれはダブらないかあるいは両方ともである」ということは間違っている"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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