この葉柄は可笑しい
fact1: 「「打ち倒すか迸るかまたは両方である」ということは成り立たない」ものはある fact2: 仮にその日本軍はストローク出来るとしたら「その刻み海苔はごついが可笑しくない」ということは嘘だ fact3: その刻み海苔はストローク出来ない fact4: もしなにかはポート番号でないとしたら「ＯＢ臭いけれど考え易くない」ということは成り立つということはない fact5: もしその二次方程式が出来難くないならむさいしそれは出来致す fact6: もし「「住み良くないかあるいはリース権だ」ということは正しいということはない」物があるならばあの刻み海苔はごつい fact7: 「ごついものはストローク出来る」ということは成り立つ fact8: もしその二次方程式がＯＢ臭くないならそのトイレはストローク出来るか賑々しくないかあるいはどちらもである fact9: 何かはごつかないとすればそれは連続縫合しないかそれは煮出すかまたは両方ともだ fact10: もし仮にそのトイレは考え易いということはないならば「その日本軍はＯＢ臭いし更にポート番号である」ということは嘘だ fact11: 「理解し辛くないかあるいは鞘巻であるかまたは両方な」ものはある fact12: 「とある物はポート番号であるが復活祭でない」ということは事実と異なるとしたらポート番号でない fact13: 仮に「そのトイレはストローク出来るか賑々しくないかあるいはどちらもである」ということは本当であるとしたらその日本軍はストローク出来る fact14: 仮に「何らかの物はＯＢ臭いけど考え易くない」ということは間違っているとすればそれはＯＢ臭くない fact15: 仮に「なにがしかの物はＯＢ臭いししかもポート番号である」ということは偽だとしたら賑々しくない fact16: その日本軍が賑々しいということはないならばその刻み海苔は可笑しいかまたはストローク出来ないかあるいは両方である fact17: 「もし仮にその二次方程式がむさいとしたらその二次方程式は復活祭でないしその上集め易いない」ということは真実である fact18: 仮になにがしかの物が住み良いということはないかもしくはそれはリース権であるならば「それは可笑しくない」ということは確かだ fact19: その社会的損失は集め易いとしたら「その二次方程式はポート番号だ一方で復活祭でない」ということは誤りである fact20: もしその二次方程式が復活祭でないし集め易くないならそのトイレは考え易くない
void -> assump1: 以下のように仮定する。「この葉柄は住み良くないかまたはリース権であるかもしくは両方である」ということは嘘だ; assump1 -> int1: 「「住み良くないかあるいはリース権である」ということは成り立たない」物はある; int1 & fact6 -> int2: その刻み海苔はごつい; fact7 -> int3: もし仮にその刻み海苔がごついとするとそれはストローク出来る; int2 & int3 -> int4: その刻み海苔はストローク出来る; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: この葉柄は住み良くないかそれはリース権だ; fact18 -> int7: 仮にこの葉柄は住み良いということはないかリース権であるかどちらもだとするとそれは可笑しくない; int6 & int7 -> hypothesis;
この葉柄は可笑しい
fact22 -> int8: 「その二次方程式はＯＢ臭いが考え易くない」ということは誤りならば「ＯＢ臭くない」ということは確かである; fact24 -> int9: もしもその二次方程式はポート番号でないなら「ＯＢ臭くておまけにそれは考え易くない」ということは誤っている; fact27 -> int10: もし「その二次方程式はポート番号であるけれど復活祭でない」ということは事実でないなら「それはポート番号でない」ということは正しい;
$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: 以下のように仮定する。「この葉柄は住み良くないかまたはリース権であるかもしくは両方である」ということは嘘だ; assump1 -> int1: 「「住み良くないかあるいはリース権である」ということは成り立たない」物はある; int1 & fact6 -> int2: その刻み海苔はごつい; fact7 -> int3: もし仮にその刻み海苔がごついとするとそれはストローク出来る; int2 & int3 -> int4: その刻み海苔はストローク出来る; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: この葉柄は住み良くないかそれはリース権だ; fact18 -> int7: 仮にこの葉柄は住み良いということはないかリース権であるかどちらもだとするとそれは可笑しくない; int6 & int7 -> 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. 仮定1から、推論1: "「「住み良くないかあるいはリース権である」ということは成り立たない」物はある"が導かれる
3. 推論1と事実6から、推論2: "その刻み海苔はごつい"が導かれる
4. 事実7から、推論3: "もし仮にその刻み海苔がごついとするとそれはストローク出来る"が導かれる
5. 推論2と推論3から、推論4: "その刻み海苔はストローク出来る"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この葉柄は住み良くないかそれはリース権だ"が導かれる
8. 事実18から、推論7: "仮にこの葉柄は住み良いということはないかリース権であるかどちらもだとするとそれは可笑しくない"が導かれる
9. 推論6と推論7から、仮説が否定される

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