この心尽くしはキャパシティだ
fact1: この浄土は体高でないかあるいは摩擦する fact2: もしこの浄土は予審判事でないならば「その有意性は体高でないかもしくは生温かい」ということは間違っている fact3: 仮にあの授業分析が予審判事だとしたらこの心尽くしは摩擦する fact4: もしも「何らかの物は摩擦するということはない」ということは成り立つならそれは予審判事でない fact5: もしもこの浄土が生温かくないとしたらそれは予審判事であるか体高だ fact6: もしある物が当該提供するということはないかあるいはそれが厳いとすればそれは思し召さない fact7: あの最新兵器は山深くないか生活時間であるかもしくは両方である fact8: 「この浄土はキャパシティでない」ということは真実であるとしたらこの心尽くしは思し召さない fact9: 仮にあの授業分析がバノスでないならこの浄土は当該提供しないかまたはそれは厳いかもしくはどちらもだ fact10: 仮にその有意性はキャパシティであるとすれば体高でない fact11: もしも何かは予審判事であるし更にバノスであるとすればそれは摩擦するということはない fact12: その有意性はキャパシティでない fact13: もしもとあるものが思し召さないとすると摩擦しない fact14: 「この浄土は万歳だがしかし定まらない」ということは成り立たないとすれば生温かくない fact15: もしも「その有意性は体高でないかまたは生温かい」ということは成り立たないとすればあの心尽くしはキャパシティでない fact16: あの授業分析は厳くない fact17: もし「何かは思し召さないけどバノスだ」ということは誤っているならそれはキャパシティだ fact18: あの授業分析はバノスでない fact19: 仮になんらかのものが人懐こいということはないとすればそれは相反しない fact20: この浄土はキャパシティでないかまたは当該提供するか両方ともだ fact21: もしなにかは摩擦するとすれば「それは思し召さないがバノスだ」ということは偽だ
fact9 & fact18 -> int1: この浄土は当該提供しないかもしくはそれは厳いかあるいは両方ともである; fact6 -> int2: この浄土が当該提供しないかまたはそれが厳いとしたら思し召さない; int1 & int2 -> int3: この浄土は思し召さない; fact13 -> int4: もしもこの浄土が思し召さないならばそれは摩擦しない; int3 & int4 -> int5: この浄土は摩擦しない; fact4 -> int6: 仮にこの浄土が摩擦するということはないならそれは予審判事だということはない; int5 & int6 -> int7: この浄土は予審判事でない; int7 & fact2 -> int8: 「その有意性は体高でないかあるいはそれは生温かいかどちらもだ」ということは成り立つということはない; int8 & fact15 -> hypothesis;
この二箇月以内は摩擦しない
fact22 -> int9: もし仮にあの授業分析は予審判事であるしその上バノスであるとすると摩擦しない;
$facts$ = fact1: この浄土は体高でないかあるいは摩擦する fact2: もしこの浄土は予審判事でないならば「その有意性は体高でないかもしくは生温かい」ということは間違っている fact3: 仮にあの授業分析が予審判事だとしたらこの心尽くしは摩擦する fact4: もしも「何らかの物は摩擦するということはない」ということは成り立つならそれは予審判事でない fact5: もしもこの浄土が生温かくないとしたらそれは予審判事であるか体高だ fact6: もしある物が当該提供するということはないかあるいはそれが厳いとすればそれは思し召さない fact7: あの最新兵器は山深くないか生活時間であるかもしくは両方である fact8: 「この浄土はキャパシティでない」ということは真実であるとしたらこの心尽くしは思し召さない fact9: 仮にあの授業分析がバノスでないならこの浄土は当該提供しないかまたはそれは厳いかもしくはどちらもだ fact10: 仮にその有意性はキャパシティであるとすれば体高でない fact11: もしも何かは予審判事であるし更にバノスであるとすればそれは摩擦するということはない fact12: その有意性はキャパシティでない fact13: もしもとあるものが思し召さないとすると摩擦しない fact14: 「この浄土は万歳だがしかし定まらない」ということは成り立たないとすれば生温かくない fact15: もしも「その有意性は体高でないかまたは生温かい」ということは成り立たないとすればあの心尽くしはキャパシティでない fact16: あの授業分析は厳くない fact17: もし「何かは思し召さないけどバノスだ」ということは誤っているならそれはキャパシティだ fact18: あの授業分析はバノスでない fact19: 仮になんらかのものが人懐こいということはないとすればそれは相反しない fact20: この浄土はキャパシティでないかまたは当該提供するか両方ともだ fact21: もしなにかは摩擦するとすれば「それは思し召さないがバノスだ」ということは偽だ ; $hypothesis$ = この心尽くしはキャパシティだ ; $proof$ = 
fact9 & fact18 -> int1: この浄土は当該提供しないかもしくはそれは厳いかあるいは両方ともである; fact6 -> int2: この浄土が当該提供しないかまたはそれが厳いとしたら思し召さない; int1 & int2 -> int3: この浄土は思し召さない; fact13 -> int4: もしもこの浄土が思し召さないならばそれは摩擦しない; int3 & int4 -> int5: この浄土は摩擦しない; fact4 -> int6: 仮にこの浄土が摩擦するということはないならそれは予審判事だということはない; int5 & int6 -> int7: この浄土は予審判事でない; int7 & fact2 -> int8: 「その有意性は体高でないかあるいはそれは生温かいかどちらもだ」ということは成り立つということはない; int8 & fact15 -> hypothesis; __DISPROVED__
事実1: この浄土は体高でないかあるいは摩擦する
事実2: もしこの浄土は予審判事でないならば「その有意性は体高でないかもしくは生温かい」ということは間違っている
事実3: 仮にあの授業分析が予審判事だとしたらこの心尽くしは摩擦する
事実4: もしも「何らかの物は摩擦するということはない」ということは成り立つならそれは予審判事でない
事実5: もしもこの浄土が生温かくないとしたらそれは予審判事であるか体高だ
事実6: もしある物が当該提供するということはないかあるいはそれが厳いとすればそれは思し召さない
事実7: あの最新兵器は山深くないか生活時間であるかもしくは両方である
事実8: 「この浄土はキャパシティでない」ということは真実であるとしたらこの心尽くしは思し召さない
事実9: 仮にあの授業分析がバノスでないならこの浄土は当該提供しないかまたはそれは厳いかもしくはどちらもだ
事実10: 仮にその有意性はキャパシティであるとすれば体高でない
事実11: もしも何かは予審判事であるし更にバノスであるとすればそれは摩擦するということはない
事実12: その有意性はキャパシティでない
事実13: もしもとあるものが思し召さないとすると摩擦しない
事実14: 「この浄土は万歳だがしかし定まらない」ということは成り立たないとすれば生温かくない
事実15: もしも「その有意性は体高でないかまたは生温かい」ということは成り立たないとすればあの心尽くしはキャパシティでない
事実16: あの授業分析は厳くない
事実17: もし「何かは思し召さないけどバノスだ」ということは誤っているならそれはキャパシティだ
事実18: あの授業分析はバノスでない
事実19: 仮になんらかのものが人懐こいということはないとすればそれは相反しない
事実20: この浄土はキャパシティでないかまたは当該提供するか両方ともだ
事実21: もしなにかは摩擦するとすれば「それは思し召さないがバノスだ」ということは偽だ

仮説: この心尽くしはキャパシティだ
1. 事実9と事実18から、推論1: "この浄土は当該提供しないかもしくはそれは厳いかあるいは両方ともである"が導かれる
2. 事実6から、推論2: "この浄土が当該提供しないかまたはそれが厳いとしたら思し召さない"が導かれる
3. 推論1と推論2から、推論3: "この浄土は思し召さない"が導かれる
4. 事実13から、推論4: "もしもこの浄土が思し召さないならばそれは摩擦しない"が導かれる
5. 推論3と推論4から、推論5: "この浄土は摩擦しない"が導かれる
6. 事実4から、推論6: "仮にこの浄土が摩擦するということはないならそれは予審判事だということはない"が導かれる
7. 推論5と推論6から、推論7: "この浄土は予審判事でない"が導かれる
8. 推論7と事実2から、推論8: "「その有意性は体高でないかあるいはそれは生温かいかどちらもだ」ということは成り立つということはない"が導かれる
9. 推論8と事実15から、仮説が否定される

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