この空気入れは櫂でない
fact1: 仮に「あの圧縮対象は本来性でなくてしかもそれは疲れ易いということはない」ということは間違いであるなら評価区分である fact2: もし仮に「「理解し易くないし加えて供給出来るということはない」ということは嘘である」物があるならばあの灰皿は櫂である fact3: もしも何らかの物は大学進学率でないとすれば「博物館・美術館だということはない」ということは成り立つ fact4: 「「疲れ易くて加えて理解し易いということはない」ということは偽である」物はある fact5: その灰皿が理解し易いかまたはそれは博物館・美術館だということはないとすれば「あの圧縮対象は評価区分でない」ということは確かである fact6: その政策課題は供給出来なくて評価区分でない fact7: 「その灰皿は北進する」ということは成り立つ fact8: 「「「本来性でないしかつ供給出来る」ということは確かだ」ということは成り立たない」ものはある fact9: もし仮に「「オーダーしないし供給出来るということはない」ということは成り立たない」物があるとすればこの空気入れは櫂だ fact10: その灰皿が大学進学率であるかあるいは博物館・美術館でないならこの供養は理解し易いということはない fact11: 「あの圧縮対象は本来性だということはないしおまけに疲れ易くない」ということは間違いだ fact12: 仮に「この供養は博物館・美術館でない」ということは成り立つならその灰皿は理解し易いかあるいは博物館・美術館だということはないかもしくは両方だ fact13: 仮にその灰皿は北進すれば「この供養は有り難しがそれは本来性でない」ということは成り立たない fact14: もしその政策課題がオーダーしなくてその上供給出来ないとすればあの供養は大学進学率だということはない fact15: 仮に「この空気入れは大学進学率である」ということは正しいならそれは櫂でないしかつ博物館・美術館でない fact16: もし「何らかの物は有り難しけど本来性でない」ということは誤りだとしたら「評価区分でない」ということは本当である fact17: 「「付着し易くないしおまけに期し難い」ということは事実と異なる」物はある fact18: 理解し易いものは博物館・美術館でないが大学進学率だ fact19: もし仮に何らかのものは櫂でないなら「それは大学進学率でない」ということは事実だ fact20: もしもとあるものが博物館・美術館でないが大学進学率であるとすれば「それは櫂でない」ということは事実である
void -> assump1: 以下のように仮定する。その政策課題はオーダーしなくてそれに供給出来ない; fact14 & assump1 -> int1: この供養は大学進学率であるということはない; fact3 -> int2: もし仮に「この供養は大学進学率でない」ということは本当ならば博物館・美術館でない; int1 & int2 -> int3: この供養は博物館・美術館でない; int3 & fact12 -> int4: その灰皿は理解し易いかまたは博物館・美術館でない; int4 & fact5 -> int5: あの圧縮対象は評価区分でない; fact11 & fact1 -> int6: あの圧縮対象は評価区分だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その政策課題はオーダーするということはなくてそれに供給出来るということはない」ということは成り立たない; int8 -> int9: 「「オーダーしないしその上供給出来ない」ということは正しいということはない」ものはある; int9 & fact9 -> hypothesis;
この空気入れは櫂でない
$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: 以下のように仮定する。その政策課題はオーダーしなくてそれに供給出来ない; fact14 & assump1 -> int1: この供養は大学進学率であるということはない; fact3 -> int2: もし仮に「この供養は大学進学率でない」ということは本当ならば博物館・美術館でない; int1 & int2 -> int3: この供養は博物館・美術館でない; int3 & fact12 -> int4: その灰皿は理解し易いかまたは博物館・美術館でない; int4 & fact5 -> int5: あの圧縮対象は評価区分でない; fact11 & fact1 -> int6: あの圧縮対象は評価区分だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その政策課題はオーダーするということはなくてそれに供給出来るということはない」ということは成り立たない; int8 -> int9: 「「オーダーしないしその上供給出来ない」ということは正しいということはない」ものはある; int9 & fact9 -> 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. 事実14と仮定1から、推論1: "この供養は大学進学率であるということはない"が導かれる
3. 事実3から、推論2: "もし仮に「この供養は大学進学率でない」ということは本当ならば博物館・美術館でない"が導かれる
4. 推論1と推論2から、推論3: "この供養は博物館・美術館でない"が導かれる
5. 推論3と事実12から、推論4: "その灰皿は理解し易いかまたは博物館・美術館でない"が導かれる
6. 推論4と事実5から、推論5: "あの圧縮対象は評価区分でない"が導かれる
7. 事実11と事実1から、推論6: "あの圧縮対象は評価区分だ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その政策課題はオーダーするということはなくてそれに供給出来るということはない」ということは成り立たない"が導かれる
10. 推論8から、推論9: "「「オーダーしないしその上供給出来ない」ということは正しいということはない」ものはある"が導かれる
11. 推論9と事実9から、仮説が否定される

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