「この浄化槽が騒がしいとすればその領主権はスプリングフィールドだ」ということは真実だということはない
fact1: この浄化槽はスプリングフィールドである fact2: あの買い物カートはスプリングフィールドでないならば騒がしくて加えて構成す fact3: もしもその領主権はセクシュアル・ハラスメントだということはないけれどスプリングフィールドだとするとそれは俗っぽいということはない fact4: その科学的管理法殺人事件は構成す fact5: 「その領主権は構成すらないが騒がしい」ということは確かであるならばスプリングフィールドでない fact6: 仮にこの浄化槽はスプリングフィールドでないが構成すならそれはセクシュアル・ハラスメントでない fact7: もし仮にとあるものは吝くないとしたら「それはスプリングフィールドであるし可笑し」ということは嘘である fact8: 俗っぽいものはスプリングフィールドである fact9: この浄化槽はテイクオフである fact10: 仮にこの浄化槽が構成すらないとしたら俗っぽくない fact11: その領主権が俗っぽいということはないとすると構成すらない fact12: もしも「とあるものは構成すらないけどそれはセクシュアル・ハラスメントだ」ということは成り立つとしたらそれは騒がしくない fact13: もし仮にその領主権が構成すらないならばあの浄化槽は構成すらないけれどセクシュアル・ハラスメントだ fact14: もし「あのＣＡＰＩＳＥはスプリングフィールドであるしそれは可笑し」ということは誤っているとしたらあの買い物カートはスプリングフィールドでない fact15: もし仮にこの浄化槽は俗っぽくないとすれば「「それは構成す」ということは成り立たない」ということは真実である fact16: 仮にこの浄化槽は俗っぽくないがしかしセクシュアル・ハラスメントであるならそれはスプリングフィールドである fact17: 「その領主権は賑々しいということはない」ということは成り立つ fact18: この浄化槽が俗っぽくないならその領主権は俗っぽくない一方でセクシュアル・ハラスメントだ fact19: 「市場統合だし書き続けない」ものはある fact20: この浄化槽がセクシュアル・ハラスメントでないとすればそれは俗っぽいということはない
void -> assump2: 以下のように仮定する。その領主権は俗っぽくない; fact11 & assump2 -> int1: その領主権は構成すらない; int1 & fact13 -> int2: この浄化槽は構成すらないがしかしセクシュアル・ハラスメントだ; fact12 -> int3: もしもこの浄化槽が構成すらない一方でそれがセクシュアル・ハラスメントならば騒がしくない; int2 & int3 -> int4: この浄化槽は騒がしくない; void -> assump1: 以下のように仮定する。この浄化槽は騒がしい; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その領主権は俗っぽい」ということは確かだ; fact8 -> int7: もし「その領主権は俗っぽい」ということは事実であるとしたらスプリングフィールドである; int6 & int7 -> int8: その領主権はスプリングフィールドである; [assump1] & int8 -> hypothesis;
その領主権はセクシュアル・ハラスメントでない
fact21 -> int9: もしあのＣＡＰＩＳＥは吝くないなら「「スプリングフィールドであるし可笑し」ということは事実である」ということは事実と異なる;
$facts$ = fact1: この浄化槽はスプリングフィールドである fact2: あの買い物カートはスプリングフィールドでないならば騒がしくて加えて構成す fact3: もしもその領主権はセクシュアル・ハラスメントだということはないけれどスプリングフィールドだとするとそれは俗っぽいということはない fact4: その科学的管理法殺人事件は構成す fact5: 「その領主権は構成すらないが騒がしい」ということは確かであるならばスプリングフィールドでない fact6: 仮にこの浄化槽はスプリングフィールドでないが構成すならそれはセクシュアル・ハラスメントでない fact7: もし仮にとあるものは吝くないとしたら「それはスプリングフィールドであるし可笑し」ということは嘘である fact8: 俗っぽいものはスプリングフィールドである fact9: この浄化槽はテイクオフである fact10: 仮にこの浄化槽が構成すらないとしたら俗っぽくない fact11: その領主権が俗っぽいということはないとすると構成すらない fact12: もしも「とあるものは構成すらないけどそれはセクシュアル・ハラスメントだ」ということは成り立つとしたらそれは騒がしくない fact13: もし仮にその領主権が構成すらないならばあの浄化槽は構成すらないけれどセクシュアル・ハラスメントだ fact14: もし「あのＣＡＰＩＳＥはスプリングフィールドであるしそれは可笑し」ということは誤っているとしたらあの買い物カートはスプリングフィールドでない fact15: もし仮にこの浄化槽は俗っぽくないとすれば「「それは構成す」ということは成り立たない」ということは真実である fact16: 仮にこの浄化槽は俗っぽくないがしかしセクシュアル・ハラスメントであるならそれはスプリングフィールドである fact17: 「その領主権は賑々しいということはない」ということは成り立つ fact18: この浄化槽が俗っぽくないならその領主権は俗っぽくない一方でセクシュアル・ハラスメントだ fact19: 「市場統合だし書き続けない」ものはある fact20: この浄化槽がセクシュアル・ハラスメントでないとすればそれは俗っぽいということはない ; $hypothesis$ = 「この浄化槽が騒がしいとすればその領主権はスプリングフィールドだ」ということは真実だということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。その領主権は俗っぽくない; fact11 & assump2 -> int1: その領主権は構成すらない; int1 & fact13 -> int2: この浄化槽は構成すらないがしかしセクシュアル・ハラスメントだ; fact12 -> int3: もしもこの浄化槽が構成すらない一方でそれがセクシュアル・ハラスメントならば騒がしくない; int2 & int3 -> int4: この浄化槽は騒がしくない; void -> assump1: 以下のように仮定する。この浄化槽は騒がしい; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その領主権は俗っぽい」ということは確かだ; fact8 -> int7: もし「その領主権は俗っぽい」ということは事実であるとしたらスプリングフィールドである; int6 & int7 -> int8: その領主権はスプリングフィールドである; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この浄化槽はスプリングフィールドである
事実2: あの買い物カートはスプリングフィールドでないならば騒がしくて加えて構成す
事実3: もしもその領主権はセクシュアル・ハラスメントだということはないけれどスプリングフィールドだとするとそれは俗っぽいということはない
事実4: その科学的管理法殺人事件は構成す
事実5: 「その領主権は構成すらないが騒がしい」ということは確かであるならばスプリングフィールドでない
事実6: 仮にこの浄化槽はスプリングフィールドでないが構成すならそれはセクシュアル・ハラスメントでない
事実7: もし仮にとあるものは吝くないとしたら「それはスプリングフィールドであるし可笑し」ということは嘘である
事実8: 俗っぽいものはスプリングフィールドである
事実9: この浄化槽はテイクオフである
事実10: 仮にこの浄化槽が構成すらないとしたら俗っぽくない
事実11: その領主権が俗っぽいということはないとすると構成すらない
事実12: もしも「とあるものは構成すらないけどそれはセクシュアル・ハラスメントだ」ということは成り立つとしたらそれは騒がしくない
事実13: もし仮にその領主権が構成すらないならばあの浄化槽は構成すらないけれどセクシュアル・ハラスメントだ
事実14: もし「あのＣＡＰＩＳＥはスプリングフィールドであるしそれは可笑し」ということは誤っているとしたらあの買い物カートはスプリングフィールドでない
事実15: もし仮にこの浄化槽は俗っぽくないとすれば「「それは構成す」ということは成り立たない」ということは真実である
事実16: 仮にこの浄化槽は俗っぽくないがしかしセクシュアル・ハラスメントであるならそれはスプリングフィールドである
事実17: 「その領主権は賑々しいということはない」ということは成り立つ
事実18: この浄化槽が俗っぽくないならその領主権は俗っぽくない一方でセクシュアル・ハラスメントだ
事実19: 「市場統合だし書き続けない」ものはある
事実20: この浄化槽がセクシュアル・ハラスメントでないとすればそれは俗っぽいということはない

仮説: 「この浄化槽が騒がしいとすればその領主権はスプリングフィールドだ」ということは真実だということはない
1. 仮定2: 以下のように仮定する。その領主権は俗っぽくない
2. 事実11と仮定2から、推論1: "その領主権は構成すらない"が導かれる
3. 推論1と事実13から、推論2: "この浄化槽は構成すらないがしかしセクシュアル・ハラスメントだ"が導かれる
4. 事実12から、推論3: "もしもこの浄化槽が構成すらない一方でそれがセクシュアル・ハラスメントならば騒がしくない"が導かれる
5. 推論2と推論3から、推論4: "この浄化槽は騒がしくない"が導かれる
6. 仮定1: 以下のように仮定する。この浄化槽は騒がしい
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「その領主権は俗っぽい」ということは確かだ"が導かれる
9. 事実8から、推論7: "もし「その領主権は俗っぽい」ということは事実であるとしたらスプリングフィールドである"が導かれる
10. 推論6と推論7から、推論8: "その領主権はスプリングフィールドである"が導かれる
11. [仮定1]と推論8から、仮説が否定される

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