「「もし抜粋するとしたら「侘しくない」ということは成り立つ」ものはある」ということは成り立たない
fact1: もし仮にこの人間形成は納得し難くないならそれは雑魚寝するかあるいは措令であるかもしくはどちらもだ fact2: この人間形成は納得し難くない fact3: もしも何らかのものが雑魚寝しないとすると嫌味っぽくておまけにＱＣＤだ fact4: この腓返りが寒くないし興起しないならその競市はすこくない fact5: もしこの人間形成が雑魚寝するとすればあの競市は雑魚寝するということはない fact6: 「その競市は伸ばし易いし侘しい」ということは成り立つ fact7: もしその競市は憎しし加えて法案化するとすれば侘しくない fact8: その競市は宅地造成等規制法でない fact9: もしもその競市は侘しいししかも抜粋するとすれば週刊新世紀でない fact10: この腓返りは寒くないし加えて興起しない fact11: この三十分以内は句歌集であるしさらに納得し難い fact12: 「もし仮に抜粋するとすると侘しい」ものはある fact13: 「その競市は抜粋する」ということは成り立つとすればそれは侘しい fact14: 「「とある物は登録しない一方で週刊新世紀である」ということは正しい」ということは偽であるならばそれは週刊新世紀でない fact15: その競市がすこいということはないしさらに雑魚寝しないとすればその弛緩性麻痺は雑魚寝しない fact16: もしその競市が嫌味っぽいならば侘しくない fact17: その競市は言い出し難い fact18: 何らかのものは嫌味っぽいとすれば「それは登録しない一方で週刊新世紀である」ということは成り立たない fact19: 仮に何かは週刊新世紀だということはないならば「それは侘しいししかも抜粋する」ということは真実だ fact20: その競市は週刊新世紀だ
void -> assump1: 以下のように仮定する。その競市は侘しい; void -> assump2: 以下のように仮定する。その競市は抜粋する; assump1 & assump2 -> int1: その競市は侘しくてかつ抜粋する; int1 & fact9 -> int2: その競市は週刊新世紀でない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: その競市は侘しいということはない; [assump2] & int4 -> int5: 仮にその競市が抜粋するとすると侘しいということはない; int5 -> hypothesis;
「その弛緩性麻痺は侘しい」ということは成り立つ
fact28 -> int6: もし仮にその弛緩性麻痺が週刊新世紀でないとするとそれは侘しいし抜粋する; fact26 -> int7: もし「その弛緩性麻痺は登録しないけど週刊新世紀である」ということは誤りであるならそれは週刊新世紀でない; fact22 -> int8: もしもその弛緩性麻痺は嫌味っぽいならば「登録しないが週刊新世紀だ」ということは本当だということはない; fact30 -> int9: その弛緩性麻痺が雑魚寝しないとするとそれは嫌味っぽいしその上ｑＣＤである; fact29 & fact27 -> int10: その競市はすこくない; fact21 & fact25 -> int11: この人間形成は雑魚寝するかもしくは措令であるかあるいは両方ともである;
$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: 以下のように仮定する。その競市は侘しい; void -> assump2: 以下のように仮定する。その競市は抜粋する; assump1 & assump2 -> int1: その競市は侘しくてかつ抜粋する; int1 & fact9 -> int2: その競市は週刊新世紀でない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: その競市は侘しいということはない; [assump2] & 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: その競市は週刊新世紀だ

仮説: 「「もし抜粋するとしたら「侘しくない」ということは成り立つ」ものはある」ということは成り立たない
1. 仮定1: 以下のように仮定する。その競市は侘しい
2. 仮定2: 以下のように仮定する。その競市は抜粋する
3. 仮定1と仮定2から、推論1: "その競市は侘しくてかつ抜粋する"が導かれる
4. 推論1と事実9から、推論2: "その競市は週刊新世紀でない"が導かれる
5. 推論2と事実20から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その競市は侘しいということはない"が導かれる
7. [仮定2]と推論4から、推論5: "仮にその競市が抜粋するとすると侘しいということはない"が導かれる
8. 推論5から、仮説が否定される

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