「あのパウダリーはしょぼくない」ということは確かである
fact1: もし仮になんらかの物は結合し易くないなら「この責めは振り駒だ」ということは成り立つ fact2: 御蔓であるということはないかあるいは凸凹しないという物はない fact3: 仮にこの病前性格は崩れ出さないとしたら「「出会い易くて加えて北西端だ」ということは成り立つ」ということは成り立たない fact4: なんらかのものは上がり難くないなら「それは岡山県史であるし更に北西端だ」ということは嘘だ fact5: 「もし「上がり難くない」ものがあるとしたらこの文化芸術活動は滅ぼす」ということは成り立つ fact6: 仮に「とあるものは結合し易いかまたはそれは上がり難くない」ということは嘘であるとするとそれはしょぼくない fact7: 仮になにかはアメリカ大会でないとしたら「それは上申するし統裁する」ということは成り立たない fact8: もしとある物がしょぼいということはないならこの責めは怖い fact9: 「この責めは北西端であるかあるいは怖くないか両方ともだ」ということは成り立たないとすればしょぼくない fact10: とある物が北西端でないならこの責めは湿気易い fact11: もし仮に「怖くない」ものがあるとすればあの責めはしょぼい fact12: 「あのパウダリーは指数化しないか持ち合わせないかまたはどちらもだ」ということは誤りだ fact13: もし「あるものは怖いかもしくはしょぼくないかどちらもだ」ということは確かでないならそれは上がり難くない fact14: 「この責めは結合し易いしかつしょぼい」ということは偽である fact15: 「「仲良しでかつ蒔く」ということは誤りな」ものはある fact16: 「「新興市場であるし出し易い」ということは誤りな」ものはある fact17: 「「滅ぼすししかも二乗値だ」ということは誤りである」物はある fact18: 怖くないかもしくは結合し易くないものはない fact19: 「「岡山県史であるし北西端だ」ということは誤っている」ものがあるとしたらあのパウダリーはしょぼい fact20: もしも「あのパウダリーは複雑過ぎるかまたは好ましくないか両方だ」ということは偽であるとしたらしょぼくない fact21: なにかは肌寒くないとすると「それは本土復帰だしさらに死ぬ」ということは成り立たない fact22: もし仮に「何かは怖くないか結合し易くないかまたは両方ともである」ということは間違いであるならば上がり難くない
fact18 -> int1: 「この責めは怖くないかあるいはそれは結合し易くないかあるいは両方である」ということは成り立たない; fact22 -> int2: もし仮に「この責めは怖くないかもしくは結合し易くないかまたは両方ともである」ということは誤りなら上がり難くない; int1 & int2 -> int3: この責めは上がり難いということはない; fact4 -> int4: もしこの責めは上がり難くないなら「それは岡山県史でしかも北西端である」ということは成り立たない; int3 & int4 -> int5: 「この責めが岡山県史だし北西端である」ということは成り立つということはない; int5 -> int6: 「「岡山県史であるしさらに北西端である」ということは成り立たない」物はある; int6 & fact19 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物は結合し易くないなら「この責めは振り駒だ」ということは成り立つ fact2: 御蔓であるということはないかあるいは凸凹しないという物はない fact3: 仮にこの病前性格は崩れ出さないとしたら「「出会い易くて加えて北西端だ」ということは成り立つ」ということは成り立たない fact4: なんらかのものは上がり難くないなら「それは岡山県史であるし更に北西端だ」ということは嘘だ fact5: 「もし「上がり難くない」ものがあるとしたらこの文化芸術活動は滅ぼす」ということは成り立つ fact6: 仮に「とあるものは結合し易いかまたはそれは上がり難くない」ということは嘘であるとするとそれはしょぼくない fact7: 仮になにかはアメリカ大会でないとしたら「それは上申するし統裁する」ということは成り立たない fact8: もしとある物がしょぼいということはないならこの責めは怖い fact9: 「この責めは北西端であるかあるいは怖くないか両方ともだ」ということは成り立たないとすればしょぼくない fact10: とある物が北西端でないならこの責めは湿気易い fact11: もし仮に「怖くない」ものがあるとすればあの責めはしょぼい fact12: 「あのパウダリーは指数化しないか持ち合わせないかまたはどちらもだ」ということは誤りだ fact13: もし「あるものは怖いかもしくはしょぼくないかどちらもだ」ということは確かでないならそれは上がり難くない fact14: 「この責めは結合し易いしかつしょぼい」ということは偽である fact15: 「「仲良しでかつ蒔く」ということは誤りな」ものはある fact16: 「「新興市場であるし出し易い」ということは誤りな」ものはある fact17: 「「滅ぼすししかも二乗値だ」ということは誤りである」物はある fact18: 怖くないかもしくは結合し易くないものはない fact19: 「「岡山県史であるし北西端だ」ということは誤っている」ものがあるとしたらあのパウダリーはしょぼい fact20: もしも「あのパウダリーは複雑過ぎるかまたは好ましくないか両方だ」ということは偽であるとしたらしょぼくない fact21: なにかは肌寒くないとすると「それは本土復帰だしさらに死ぬ」ということは成り立たない fact22: もし仮に「何かは怖くないか結合し易くないかまたは両方ともである」ということは間違いであるならば上がり難くない ; $hypothesis$ = 「あのパウダリーはしょぼくない」ということは確かである ; $proof$ = 
fact18 -> int1: 「この責めは怖くないかあるいはそれは結合し易くないかあるいは両方である」ということは成り立たない; fact22 -> int2: もし仮に「この責めは怖くないかもしくは結合し易くないかまたは両方ともである」ということは誤りなら上がり難くない; int1 & int2 -> int3: この責めは上がり難いということはない; fact4 -> int4: もしこの責めは上がり難くないなら「それは岡山県史でしかも北西端である」ということは成り立たない; int3 & int4 -> int5: 「この責めが岡山県史だし北西端である」ということは成り立つということはない; int5 -> int6: 「「岡山県史であるしさらに北西端である」ということは成り立たない」物はある; int6 & fact19 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は結合し易くないなら「この責めは振り駒だ」ということは成り立つ
事実2: 御蔓であるということはないかあるいは凸凹しないという物はない
事実3: 仮にこの病前性格は崩れ出さないとしたら「「出会い易くて加えて北西端だ」ということは成り立つ」ということは成り立たない
事実4: なんらかのものは上がり難くないなら「それは岡山県史であるし更に北西端だ」ということは嘘だ
事実5: 「もし「上がり難くない」ものがあるとしたらこの文化芸術活動は滅ぼす」ということは成り立つ
事実6: 仮に「とあるものは結合し易いかまたはそれは上がり難くない」ということは嘘であるとするとそれはしょぼくない
事実7: 仮になにかはアメリカ大会でないとしたら「それは上申するし統裁する」ということは成り立たない
事実8: もしとある物がしょぼいということはないならこの責めは怖い
事実9: 「この責めは北西端であるかあるいは怖くないか両方ともだ」ということは成り立たないとすればしょぼくない
事実10: とある物が北西端でないならこの責めは湿気易い
事実11: もし仮に「怖くない」ものがあるとすればあの責めはしょぼい
事実12: 「あのパウダリーは指数化しないか持ち合わせないかまたはどちらもだ」ということは誤りだ
事実13: もし「あるものは怖いかもしくはしょぼくないかどちらもだ」ということは確かでないならそれは上がり難くない
事実14: 「この責めは結合し易いしかつしょぼい」ということは偽である
事実15: 「「仲良しでかつ蒔く」ということは誤りな」ものはある
事実16: 「「新興市場であるし出し易い」ということは誤りな」ものはある
事実17: 「「滅ぼすししかも二乗値だ」ということは誤りである」物はある
事実18: 怖くないかもしくは結合し易くないものはない
事実19: 「「岡山県史であるし北西端だ」ということは誤っている」ものがあるとしたらあのパウダリーはしょぼい
事実20: もしも「あのパウダリーは複雑過ぎるかまたは好ましくないか両方だ」ということは偽であるとしたらしょぼくない
事実21: なにかは肌寒くないとすると「それは本土復帰だしさらに死ぬ」ということは成り立たない
事実22: もし仮に「何かは怖くないか結合し易くないかまたは両方ともである」ということは間違いであるならば上がり難くない

仮説: 「あのパウダリーはしょぼくない」ということは確かである
1. 事実18から、推論1: "「この責めは怖くないかあるいはそれは結合し易くないかあるいは両方である」ということは成り立たない"が導かれる
2. 事実22から、推論2: "もし仮に「この責めは怖くないかもしくは結合し易くないかまたは両方ともである」ということは誤りなら上がり難くない"が導かれる
3. 推論1と推論2から、推論3: "この責めは上がり難いということはない"が導かれる
4. 事実4から、推論4: "もしこの責めは上がり難くないなら「それは岡山県史でしかも北西端である」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「この責めが岡山県史だし北西端である」ということは成り立つということはない"が導かれる
6. 推論5から、推論6: "「「岡山県史であるしさらに北西端である」ということは成り立たない」物はある"が導かれる
7. 推論6と事実19から、仮説が否定される

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