「「もし一般問題であるとしたら起こし易いかあるいは心弱いということはないかまたはどちらもな」ものはある」ということは成り立たない
fact1: あのブックエンドは築き難い fact2: 「何かは拝見であるかもしくは悪しくないかまたは両方ともだ」ということは成り立たないとすると「判別し易くない」ということは真実である fact3: 「一般問題だとすれば起こし易いか心弱いかあるいは両方ともな」物はある fact4: 仮に「とある物は起こし易いかもしくは心弱いということはないか両方だ」ということは事実と異なるとすると「一般問題である」ということは本当だ fact5: 「もし一穴であるなら気兼ねするかもしくはＴＨワンでないかまたはどちらもな」物はある fact6: あのブックエンドは山高しない fact7: もしあのブックエンドは一般問題であるなら「起こし易いかあるいは心弱い」ということは事実だ fact8: 「この御行儀は無効化するかもしくはそれは左房切開線である」ということは正しくないならば心弱くない fact9: もし「何らかの物は倒れ難いかまたは左耳であるかもしくは両方ともだ」ということは誤りであるとすると笑わない fact10: 「あのブックエンドは油っぽいかそれは起こし易くないかもしくはどちらもである」ということは事実である fact11: もし仮に「あのブックエンドは狩り集めるかもしくは描写出来る」ということは事実と異なれば「再検討するということはない」ということは本当である fact12: あのブックエンドはエアコン無しでない fact13: あの気分は一般問題である fact14: 仮に「その同時刻はＴＨワンであるかそれは選び取るということはないかあるいは両方ともだ」ということは成り立たないとすると順応し易い fact15: 「あの写真家は一般問題である」ということは真実である fact16: 「あのブックエンドは利き難いかもしくはデザイン設計しないかあるいは両方ともだ」ということは事実でない fact17: あの有限会社は心弱い fact18: あのブックエンドは起こし易いかあるいは心弱い fact19: あのブックエンドが起こし易いかあるいは心弱いということはないかどちらもならば一般問題でない fact20: もしも「なんらかのものは起こし易いかまたは心弱くないか両方だ」ということは誤りだとすればそれは一般問題でない
fact20 -> int1: 「あのブックエンドは起こし易いかあるいは心弱くないかあるいは両方である」ということは偽であるならば「一般問題でない」ということは成り立つ; void -> assump1: 以下のように仮定する。「あのブックエンドは起こし易いかあるいはそれは心弱くない」ということは成り立たない; int1 & assump1 -> int2: 「あのブックエンドは一般問題だということはない」ということは成り立つ; void -> assump2: 以下のように仮定する。「あのブックエンドは一般問題だ」ということは成り立つ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのブックエンドは起こし易いか心弱いということはないかもしくは両方ともである; [assump2] & int4 -> int5: あのブックエンドが一般問題であるならばそれは起こし易いかもしくは心弱くない; int5 -> hypothesis;
「あのブックエンドは拝見であるかあるいは悪しくないかまたはどちらもである」ということは誤りであるとすると判別し易くない
fact21 -> hypothesis;
$facts$ = fact1: あのブックエンドは築き難い fact2: 「何かは拝見であるかもしくは悪しくないかまたは両方ともだ」ということは成り立たないとすると「判別し易くない」ということは真実である fact3: 「一般問題だとすれば起こし易いか心弱いかあるいは両方ともな」物はある fact4: 仮に「とある物は起こし易いかもしくは心弱いということはないか両方だ」ということは事実と異なるとすると「一般問題である」ということは本当だ fact5: 「もし一穴であるなら気兼ねするかもしくはＴＨワンでないかまたはどちらもな」物はある fact6: あのブックエンドは山高しない fact7: もしあのブックエンドは一般問題であるなら「起こし易いかあるいは心弱い」ということは事実だ fact8: 「この御行儀は無効化するかもしくはそれは左房切開線である」ということは正しくないならば心弱くない fact9: もし「何らかの物は倒れ難いかまたは左耳であるかもしくは両方ともだ」ということは誤りであるとすると笑わない fact10: 「あのブックエンドは油っぽいかそれは起こし易くないかもしくはどちらもである」ということは事実である fact11: もし仮に「あのブックエンドは狩り集めるかもしくは描写出来る」ということは事実と異なれば「再検討するということはない」ということは本当である fact12: あのブックエンドはエアコン無しでない fact13: あの気分は一般問題である fact14: 仮に「その同時刻はＴＨワンであるかそれは選び取るということはないかあるいは両方ともだ」ということは成り立たないとすると順応し易い fact15: 「あの写真家は一般問題である」ということは真実である fact16: 「あのブックエンドは利き難いかもしくはデザイン設計しないかあるいは両方ともだ」ということは事実でない fact17: あの有限会社は心弱い fact18: あのブックエンドは起こし易いかあるいは心弱い fact19: あのブックエンドが起こし易いかあるいは心弱いということはないかどちらもならば一般問題でない fact20: もしも「なんらかのものは起こし易いかまたは心弱くないか両方だ」ということは誤りだとすればそれは一般問題でない ; $hypothesis$ = 「「もし一般問題であるとしたら起こし易いかあるいは心弱いということはないかまたはどちらもな」ものはある」ということは成り立たない ; $proof$ = 
fact20 -> int1: 「あのブックエンドは起こし易いかあるいは心弱くないかあるいは両方である」ということは偽であるならば「一般問題でない」ということは成り立つ; void -> assump1: 以下のように仮定する。「あのブックエンドは起こし易いかあるいはそれは心弱くない」ということは成り立たない; int1 & assump1 -> int2: 「あのブックエンドは一般問題だということはない」ということは成り立つ; void -> assump2: 以下のように仮定する。「あのブックエンドは一般問題だ」ということは成り立つ; int2 & assump2 -> 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. 事実20から、推論1: "「あのブックエンドは起こし易いかあるいは心弱くないかあるいは両方である」ということは偽であるならば「一般問題でない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「あのブックエンドは起こし易いかあるいはそれは心弱くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "「あのブックエンドは一般問題だということはない」ということは成り立つ"が導かれる
4. 仮定2: 以下のように仮定する。「あのブックエンドは一般問題だ」ということは成り立つ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あのブックエンドは起こし易いか心弱いということはないかもしくは両方ともである"が導かれる
7. [仮定2]と推論4から、推論5: "あのブックエンドが一般問題であるならばそれは起こし易いかもしくは心弱くない"が導かれる
8. 推論5から、仮説が否定される

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