「このＶＦは面白おかしくないかまたはそれは切り離し難いかもしくは両方である」ということは嘘だ
fact1: 「その中原背民は面白おかしくない一方で飲み下す」ということは誤りである fact2: この洗濯籠は切り離し難いとすると「このＶＦは面白おかしくないかそれは切り離し難いかまたはどちらもだ」ということは確かである fact3: このＶＦは飲み下しないかもしくは面白おかしいかもしくはどちらもである fact4: もし何らかの物が面白おかしくないとすればあのＶＦは飲み下す fact5: その中原背民は飲み下す fact6: 「「切り離し難くて面白おかしい」ということは成り立たない」ものはある fact7: もしも「「飲み下さないししかも終う」ということは成り立たない」ものがあればこの洗濯籠は切り離し難い fact8: 「終うということはない」ものはあるなら「その中原背民は切り離し難い」ということは成り立つ fact9: もしこの洗濯籠は層別するし加えて無責任振りであるならば「それは終うない」ということは成り立つ fact10: その中原背民は終う fact11: もしもなんらかの物が無責任振りならそれは面白おかしいけど同項でない fact12: もし「このＶＦは切り離し難い」ということは間違っているということはないとするとこの洗濯籠は面白おかしいかもしくはそれは切り離し難いかもしくは両方ともである fact13: この洗濯籠は切り離し難くないか面白おかしいかもしくは両方だ fact14: もしもあるものは飲み下すとすると「それは面白おかしくないかあるいは切り離し難いかもしくは両方だ」ということは成り立たない fact15: もしこの洗濯籠は終うないとしたら「その中原背民は飲み下さないし同項でない」ということは事実と異なる fact16: もしもこの洗濯籠が終うとするとその中原背民は切り離し難いかもしくは終うかもしくはどちらもだ fact17: このＶＦは切り離し難くないか終うかまたはどちらもである fact18: その魔界は飲み下す
void -> assump1: 以下のように仮定する。その中原背民は飲み下さないけれど終う; assump1 -> int1: 「その中原背民は飲み下さない」ということは事実だ; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その中原背民は飲み下さないがしかし終う」ということは成り立たない; int3 -> int4: 「「飲み下さなくてかつ終う」ということは成り立たない」ものはある; int4 & fact7 -> int5: この洗濯籠は切り離し難い; int5 & fact2 -> hypothesis;
「このＶＦは面白おかしくないかもしくは切り離し難いか両方ともだ」ということは誤りである
fact21 -> int6: もしこのＶＦは飲み下すとすれば「面白おかしくないかまたはそれは切り離し難いかまたは両方ともだ」ということは成り立たない;
$facts$ = fact1: 「その中原背民は面白おかしくない一方で飲み下す」ということは誤りである fact2: この洗濯籠は切り離し難いとすると「このＶＦは面白おかしくないかそれは切り離し難いかまたはどちらもだ」ということは確かである fact3: このＶＦは飲み下しないかもしくは面白おかしいかもしくはどちらもである fact4: もし何らかの物が面白おかしくないとすればあのＶＦは飲み下す fact5: その中原背民は飲み下す fact6: 「「切り離し難くて面白おかしい」ということは成り立たない」ものはある fact7: もしも「「飲み下さないししかも終う」ということは成り立たない」ものがあればこの洗濯籠は切り離し難い fact8: 「終うということはない」ものはあるなら「その中原背民は切り離し難い」ということは成り立つ fact9: もしこの洗濯籠は層別するし加えて無責任振りであるならば「それは終うない」ということは成り立つ fact10: その中原背民は終う fact11: もしもなんらかの物が無責任振りならそれは面白おかしいけど同項でない fact12: もし「このＶＦは切り離し難い」ということは間違っているということはないとするとこの洗濯籠は面白おかしいかもしくはそれは切り離し難いかもしくは両方ともである fact13: この洗濯籠は切り離し難くないか面白おかしいかもしくは両方だ fact14: もしもあるものは飲み下すとすると「それは面白おかしくないかあるいは切り離し難いかもしくは両方だ」ということは成り立たない fact15: もしこの洗濯籠は終うないとしたら「その中原背民は飲み下さないし同項でない」ということは事実と異なる fact16: もしもこの洗濯籠が終うとするとその中原背民は切り離し難いかもしくは終うかもしくはどちらもだ fact17: このＶＦは切り離し難くないか終うかまたはどちらもである fact18: その魔界は飲み下す ; $hypothesis$ = 「このＶＦは面白おかしくないかまたはそれは切り離し難いかもしくは両方である」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その中原背民は飲み下さないけれど終う; assump1 -> int1: 「その中原背民は飲み下さない」ということは事実だ; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その中原背民は飲み下さないがしかし終う」ということは成り立たない; int3 -> int4: 「「飲み下さなくてかつ終う」ということは成り立たない」ものはある; int4 & fact7 -> int5: この洗濯籠は切り離し難い; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その中原背民は面白おかしくない一方で飲み下す」ということは誤りである
事実2: この洗濯籠は切り離し難いとすると「このＶＦは面白おかしくないかそれは切り離し難いかまたはどちらもだ」ということは確かである
事実3: このＶＦは飲み下しないかもしくは面白おかしいかもしくはどちらもである
事実4: もし何らかの物が面白おかしくないとすればあのＶＦは飲み下す
事実5: その中原背民は飲み下す
事実6: 「「切り離し難くて面白おかしい」ということは成り立たない」ものはある
事実7: もしも「「飲み下さないししかも終う」ということは成り立たない」ものがあればこの洗濯籠は切り離し難い
事実8: 「終うということはない」ものはあるなら「その中原背民は切り離し難い」ということは成り立つ
事実9: もしこの洗濯籠は層別するし加えて無責任振りであるならば「それは終うない」ということは成り立つ
事実10: その中原背民は終う
事実11: もしもなんらかの物が無責任振りならそれは面白おかしいけど同項でない
事実12: もし「このＶＦは切り離し難い」ということは間違っているということはないとするとこの洗濯籠は面白おかしいかもしくはそれは切り離し難いかもしくは両方ともである
事実13: この洗濯籠は切り離し難くないか面白おかしいかもしくは両方だ
事実14: もしもあるものは飲み下すとすると「それは面白おかしくないかあるいは切り離し難いかもしくは両方だ」ということは成り立たない
事実15: もしこの洗濯籠は終うないとしたら「その中原背民は飲み下さないし同項でない」ということは事実と異なる
事実16: もしもこの洗濯籠が終うとするとその中原背民は切り離し難いかもしくは終うかもしくはどちらもだ
事実17: このＶＦは切り離し難くないか終うかまたはどちらもである
事実18: その魔界は飲み下す

仮説: 「このＶＦは面白おかしくないかまたはそれは切り離し難いかもしくは両方である」ということは嘘だ
1. 仮定1: 以下のように仮定する。その中原背民は飲み下さないけれど終う
2. 仮定1から、推論1: "「その中原背民は飲み下さない」ということは事実だ"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その中原背民は飲み下さないがしかし終う」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「飲み下さなくてかつ終う」ということは成り立たない」ものはある"が導かれる
6. 推論4と事実7から、推論5: "この洗濯籠は切り離し難い"が導かれる
7. 推論5と事実2から、仮説が否定される

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