「ある物は見出だし難いしまたうら若し」ということは嘘である
fact1: 仮に「「見出だし難いということはないけどうら若し」ということは成り立たない」物があるとするとこの諸法規は罹り易いということはない fact2: もしこの諸法規が覚え難いとしたらその八十五歳以上は少年王者館だ fact3: 仮になにがしかの物が罹り易いとすれば見出だし難い fact4: 仮に「「「買収出来ない」ということは真実な」ものはある」ということは真実ならばこの研究蓄積は買収出来ないかもしくはそれは造林技術でないかもしくは両方である fact5: 「何らかの物はＭチェックポイント機構でない」ということは真実であるなら「それは見出だし難いということはないけどうら若し」ということは成り立たない fact6: 仮に「皇位継承問題でない」物はあるなら「そのＷＨは買収出来るけど歩き辛いということはない」ということは嘘である fact7: もしあの集団的アイデンティティは熱安定性であるとすればそれは結合し易い fact8: 仮にこの研究蓄積が買収出来ないとすればあのＷアーは牧牛でない fact9: 仮に「「尽くし難くてＭチェックポイント機構でない」ということは間違っている」ものがあるとするとその八十五歳以上はうら若し fact10: もしもそのフルオロウラシルがＭチェックポイント機構であるが尽くし難くないならばあの腰つきはＭチェックポイント機構でない fact11: もし「そのＷＨは買収出来るが歩き辛くない」ということは誤りであるとすればこの最高戦争指導会議は買収出来ない fact12: 「この諸法規は覚え難い」ということは正しい fact13: そのＷアーが牧牛でないならそのフルオロウラシルはＭチェックポイント機構だけれど尽くし難いということはない fact14: もし仮にこの諸法規は落第するということはないとすれば「それが覚え難いしその上それは少年王者館でない」ということは誤りだ fact15: あらゆる物は思しかまたはそれは難民達であるかまたはどちらもである fact16: 「その八十五歳以上は身体技法で落第する」ということは嘘である fact17: もしある物が身体技法でないならばそれは覚え難いかまたは落第するかまたは両方である fact18: もし仮に「この諸法規は落第する」ということは事実だとすればあの八十五歳以上は少年王者館である fact19: この諸法規は少年王者館でない fact20: 仮にこのラム屋が覚え難いとしたらその八十五歳以上は身体技法である fact21: 何もかもは娶るかまたは実行し易いかあるいはどちらもだ fact22: もしも「あの購入者は乗り易くないかまたは思しかどちらもである」ということは成り立たないとしたらそれは皇位継承問題でない fact23: なにがしかのものは身体技法であるとすればそれは罹り易い fact24: 「「あの購入者は乗り易くないか思しか両方である」ということは間違っている」ということは確かである fact25: もしもこのラム屋が落第するならばあの八十五歳以上は身体技法である fact26: すべては落第するかそれは覚え難い fact27: この諸法規は少年王者館でないなら「尽くし難いしその上それはＭチェックポイント機構でない」ということは偽である
fact26 -> int1: このラム屋は落第するかもしくはそれは覚え難いか両方ともだ; int1 & fact25 & fact20 -> int2: その八十五歳以上は身体技法だ; fact23 -> int3: もしもその八十五歳以上が身体技法ならそれは罹り易い; int2 & int3 -> int4: その八十五歳以上は罹り易い; fact3 -> int5: その八十五歳以上が罹り易いならばそれは見出だし難い; int4 & int5 -> int6: その八十五歳以上は見出だし難い; fact19 & fact27 -> int7: 「この諸法規は尽くし難いがＭチェックポイント機構でない」ということは成り立たない; int7 -> int8: 「「尽くし難くてＭチェックポイント機構だということはない」ということは嘘である」物はある; int8 & fact9 -> int9: その八十五歳以上はうら若し; int6 & int9 -> int10: その八十五歳以上は見出だし難いしうら若し; int10 -> hypothesis;
その八十五歳以上は少年王者館だ
fact32 -> int11: 「もしこの諸法規が身体技法でないならこの諸法規は覚え難いかあるいは落第するかまたは両方である」ということは確かである; fact39 -> int12: もしもこの腰つきはＭチェックポイント機構でないとしたら「それが見出だし難くないしさらにそれはうら若し」ということは間違いである; fact29 & fact38 -> int13: あの購入者は皇位継承問題でない; int13 -> int14: あるものは皇位継承問題でない; int14 & fact28 -> int15: 「そのＷＨは買収出来るがしかし歩き辛くない」ということは嘘である; fact35 & int15 -> int16: この最高戦争指導会議は買収出来ない; int16 -> int17: 「買収出来ない」ものはある; int17 & fact40 -> int18: この研究蓄積は買収出来ないかもしくは造林技術であるということはないか両方である;
$facts$ = fact1: 仮に「「見出だし難いということはないけどうら若し」ということは成り立たない」物があるとするとこの諸法規は罹り易いということはない fact2: もしこの諸法規が覚え難いとしたらその八十五歳以上は少年王者館だ fact3: 仮になにがしかの物が罹り易いとすれば見出だし難い fact4: 仮に「「「買収出来ない」ということは真実な」ものはある」ということは真実ならばこの研究蓄積は買収出来ないかもしくはそれは造林技術でないかもしくは両方である fact5: 「何らかの物はＭチェックポイント機構でない」ということは真実であるなら「それは見出だし難いということはないけどうら若し」ということは成り立たない fact6: 仮に「皇位継承問題でない」物はあるなら「そのＷＨは買収出来るけど歩き辛いということはない」ということは嘘である fact7: もしあの集団的アイデンティティは熱安定性であるとすればそれは結合し易い fact8: 仮にこの研究蓄積が買収出来ないとすればあのＷアーは牧牛でない fact9: 仮に「「尽くし難くてＭチェックポイント機構でない」ということは間違っている」ものがあるとするとその八十五歳以上はうら若し fact10: もしもそのフルオロウラシルがＭチェックポイント機構であるが尽くし難くないならばあの腰つきはＭチェックポイント機構でない fact11: もし「そのＷＨは買収出来るが歩き辛くない」ということは誤りであるとすればこの最高戦争指導会議は買収出来ない fact12: 「この諸法規は覚え難い」ということは正しい fact13: そのＷアーが牧牛でないならそのフルオロウラシルはＭチェックポイント機構だけれど尽くし難いということはない fact14: もし仮にこの諸法規は落第するということはないとすれば「それが覚え難いしその上それは少年王者館でない」ということは誤りだ fact15: あらゆる物は思しかまたはそれは難民達であるかまたはどちらもである fact16: 「その八十五歳以上は身体技法で落第する」ということは嘘である fact17: もしある物が身体技法でないならばそれは覚え難いかまたは落第するかまたは両方である fact18: もし仮に「この諸法規は落第する」ということは事実だとすればあの八十五歳以上は少年王者館である fact19: この諸法規は少年王者館でない fact20: 仮にこのラム屋が覚え難いとしたらその八十五歳以上は身体技法である fact21: 何もかもは娶るかまたは実行し易いかあるいはどちらもだ fact22: もしも「あの購入者は乗り易くないかまたは思しかどちらもである」ということは成り立たないとしたらそれは皇位継承問題でない fact23: なにがしかのものは身体技法であるとすればそれは罹り易い fact24: 「「あの購入者は乗り易くないか思しか両方である」ということは間違っている」ということは確かである fact25: もしもこのラム屋が落第するならばあの八十五歳以上は身体技法である fact26: すべては落第するかそれは覚え難い fact27: この諸法規は少年王者館でないなら「尽くし難いしその上それはＭチェックポイント機構でない」ということは偽である ; $hypothesis$ = 「ある物は見出だし難いしまたうら若し」ということは嘘である ; $proof$ = 
fact26 -> int1: このラム屋は落第するかもしくはそれは覚え難いか両方ともだ; int1 & fact25 & fact20 -> int2: その八十五歳以上は身体技法だ; fact23 -> int3: もしもその八十五歳以上が身体技法ならそれは罹り易い; int2 & int3 -> int4: その八十五歳以上は罹り易い; fact3 -> int5: その八十五歳以上が罹り易いならばそれは見出だし難い; int4 & int5 -> int6: その八十五歳以上は見出だし難い; fact19 & fact27 -> int7: 「この諸法規は尽くし難いがＭチェックポイント機構でない」ということは成り立たない; int7 -> int8: 「「尽くし難くてＭチェックポイント機構だということはない」ということは嘘である」物はある; int8 & fact9 -> int9: その八十五歳以上はうら若し; int6 & int9 -> int10: その八十五歳以上は見出だし難いしうら若し; int10 -> hypothesis; __DISPROVED__
事実1: 仮に「「見出だし難いということはないけどうら若し」ということは成り立たない」物があるとするとこの諸法規は罹り易いということはない
事実2: もしこの諸法規が覚え難いとしたらその八十五歳以上は少年王者館だ
事実3: 仮になにがしかの物が罹り易いとすれば見出だし難い
事実4: 仮に「「「買収出来ない」ということは真実な」ものはある」ということは真実ならばこの研究蓄積は買収出来ないかもしくはそれは造林技術でないかもしくは両方である
事実5: 「何らかの物はＭチェックポイント機構でない」ということは真実であるなら「それは見出だし難いということはないけどうら若し」ということは成り立たない
事実6: 仮に「皇位継承問題でない」物はあるなら「そのＷＨは買収出来るけど歩き辛いということはない」ということは嘘である
事実7: もしあの集団的アイデンティティは熱安定性であるとすればそれは結合し易い
事実8: 仮にこの研究蓄積が買収出来ないとすればあのＷアーは牧牛でない
事実9: 仮に「「尽くし難くてＭチェックポイント機構でない」ということは間違っている」ものがあるとするとその八十五歳以上はうら若し
事実10: もしもそのフルオロウラシルがＭチェックポイント機構であるが尽くし難くないならばあの腰つきはＭチェックポイント機構でない
事実11: もし「そのＷＨは買収出来るが歩き辛くない」ということは誤りであるとすればこの最高戦争指導会議は買収出来ない
事実12: 「この諸法規は覚え難い」ということは正しい
事実13: そのＷアーが牧牛でないならそのフルオロウラシルはＭチェックポイント機構だけれど尽くし難いということはない
事実14: もし仮にこの諸法規は落第するということはないとすれば「それが覚え難いしその上それは少年王者館でない」ということは誤りだ
事実15: あらゆる物は思しかまたはそれは難民達であるかまたはどちらもである
事実16: 「その八十五歳以上は身体技法で落第する」ということは嘘である
事実17: もしある物が身体技法でないならばそれは覚え難いかまたは落第するかまたは両方である
事実18: もし仮に「この諸法規は落第する」ということは事実だとすればあの八十五歳以上は少年王者館である
事実19: この諸法規は少年王者館でない
事実20: 仮にこのラム屋が覚え難いとしたらその八十五歳以上は身体技法である
事実21: 何もかもは娶るかまたは実行し易いかあるいはどちらもだ
事実22: もしも「あの購入者は乗り易くないかまたは思しかどちらもである」ということは成り立たないとしたらそれは皇位継承問題でない
事実23: なにがしかのものは身体技法であるとすればそれは罹り易い
事実24: 「「あの購入者は乗り易くないか思しか両方である」ということは間違っている」ということは確かである
事実25: もしもこのラム屋が落第するならばあの八十五歳以上は身体技法である
事実26: すべては落第するかそれは覚え難い
事実27: この諸法規は少年王者館でないなら「尽くし難いしその上それはＭチェックポイント機構でない」ということは偽である

仮説: 「ある物は見出だし難いしまたうら若し」ということは嘘である
1. 事実26から、推論1: "このラム屋は落第するかもしくはそれは覚え難いか両方ともだ"が導かれる
2. 推論1と事実25と事実20から、推論2: "その八十五歳以上は身体技法だ"が導かれる
3. 事実23から、推論3: "もしもその八十五歳以上が身体技法ならそれは罹り易い"が導かれる
4. 推論2と推論3から、推論4: "その八十五歳以上は罹り易い"が導かれる
5. 事実3から、推論5: "その八十五歳以上が罹り易いならばそれは見出だし難い"が導かれる
6. 推論4と推論5から、推論6: "その八十五歳以上は見出だし難い"が導かれる
7. 事実19と事実27から、推論7: "「この諸法規は尽くし難いがＭチェックポイント機構でない」ということは成り立たない"が導かれる
8. 推論7から、推論8: "「「尽くし難くてＭチェックポイント機構だということはない」ということは嘘である」物はある"が導かれる
9. 推論8と事実9から、推論9: "その八十五歳以上はうら若し"が導かれる
10. 推論6と推論9から、推論10: "その八十五歳以上は見出だし難いしうら若し"が導かれる
11. 推論10から、仮説が否定される

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