「「この一階条件はしょぼいか必殺脛切りであるか両方である」ということは成り立つ」ということは成り立たない
fact1: この一階条件がばらけるないならそれは惟るないかまたはそれは恋しかないかあるいは両方ともである fact2: この一階条件は本管だけれど長屋でない fact3: もしも「ある物は惟るないか恋しかないかもしくはどちらもである」ということは成り立つとすればそれは惟るない fact4: もしもとある物は本管でないなら「「しょぼいかそれは必殺脛切りであるかどちらもだ」ということは真実だ」ということは成り立たない fact5: もしもなにがしかの物は本管だとしたら「「ブレーンであるしその上犯し易くない」ということは確かだ」ということは事実でない fact6: もしも「なにがしかの物はブレーンだ一方で犯し易くない」ということは偽ならばそれはしょぼい fact7: もしなんらかの物は惟るないとすると「長屋でまた本管である」ということは偽だ fact8: もしもこの一階条件は満遍無くなくてかつ生臭くないならそれはばらけるということはない fact9: この一階条件は満遍無くない
fact5 -> int1: もし仮にこの一階条件は本管であるなら「それはブレーンであるが犯し易くない」ということは成り立たない; fact2 -> int2: 「この一階条件は本管だ」ということは真実だ; int1 & int2 -> int3: 「この一階条件はブレーンであるがそれは犯し易くない」ということは成り立たない; fact6 -> int4: もし「この一階条件はブレーンであるけれど犯し易くない」ということは誤りであるならばしょぼい; int3 & int4 -> int5: この一階条件はしょぼい; int5 -> hypothesis;
「この一階条件はしょぼいかまたは必殺脛切りである」ということは事実と異なる
fact10 -> int6: この一階条件は本管でないならば「しょぼいかまたは必殺脛切りであるかまたはどちらもだ」ということは間違っている; fact14 -> int7: もしこの一階条件は惟るということはないなら「それは長屋だしさらに本管だ」ということは間違っている; fact15 -> int8: 仮にこの一階条件が惟るないかまたは恋しかないなら惟るない;
$facts$ = fact1: この一階条件がばらけるないならそれは惟るないかまたはそれは恋しかないかあるいは両方ともである fact2: この一階条件は本管だけれど長屋でない fact3: もしも「ある物は惟るないか恋しかないかもしくはどちらもである」ということは成り立つとすればそれは惟るない fact4: もしもとある物は本管でないなら「「しょぼいかそれは必殺脛切りであるかどちらもだ」ということは真実だ」ということは成り立たない fact5: もしもなにがしかの物は本管だとしたら「「ブレーンであるしその上犯し易くない」ということは確かだ」ということは事実でない fact6: もしも「なにがしかの物はブレーンだ一方で犯し易くない」ということは偽ならばそれはしょぼい fact7: もしなんらかの物は惟るないとすると「長屋でまた本管である」ということは偽だ fact8: もしもこの一階条件は満遍無くなくてかつ生臭くないならそれはばらけるということはない fact9: この一階条件は満遍無くない ; $hypothesis$ = 「「この一階条件はしょぼいか必殺脛切りであるか両方である」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact5 -> int1: もし仮にこの一階条件は本管であるなら「それはブレーンであるが犯し易くない」ということは成り立たない; fact2 -> int2: 「この一階条件は本管だ」ということは真実だ; int1 & int2 -> int3: 「この一階条件はブレーンであるがそれは犯し易くない」ということは成り立たない; fact6 -> int4: もし「この一階条件はブレーンであるけれど犯し易くない」ということは誤りであるならばしょぼい; int3 & int4 -> int5: この一階条件はしょぼい; int5 -> hypothesis; __DISPROVED__
事実1: この一階条件がばらけるないならそれは惟るないかまたはそれは恋しかないかあるいは両方ともである
事実2: この一階条件は本管だけれど長屋でない
事実3: もしも「ある物は惟るないか恋しかないかもしくはどちらもである」ということは成り立つとすればそれは惟るない
事実4: もしもとある物は本管でないなら「「しょぼいかそれは必殺脛切りであるかどちらもだ」ということは真実だ」ということは成り立たない
事実5: もしもなにがしかの物は本管だとしたら「「ブレーンであるしその上犯し易くない」ということは確かだ」ということは事実でない
事実6: もしも「なにがしかの物はブレーンだ一方で犯し易くない」ということは偽ならばそれはしょぼい
事実7: もしなんらかの物は惟るないとすると「長屋でまた本管である」ということは偽だ
事実8: もしもこの一階条件は満遍無くなくてかつ生臭くないならそれはばらけるということはない
事実9: この一階条件は満遍無くない

仮説: 「「この一階条件はしょぼいか必殺脛切りであるか両方である」ということは成り立つ」ということは成り立たない
1. 事実5から、推論1: "もし仮にこの一階条件は本管であるなら「それはブレーンであるが犯し易くない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "「この一階条件は本管だ」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "「この一階条件はブレーンであるがそれは犯し易くない」ということは成り立たない"が導かれる
4. 事実6から、推論4: "もし「この一階条件はブレーンであるけれど犯し易くない」ということは誤りであるならばしょぼい"が導かれる
5. 推論3と推論4から、推論5: "この一階条件はしょぼい"が導かれる
6. 推論5から、仮説が否定される

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