「「頑是無いかまたはかわゆいかまたは両方ともである」ものはある」ということは間違っている
fact1: なにかは黒いならそれは頑是無い fact2: 「このマイクロは総括安全衛生管理者だ」ということは真実である fact3: もし仮にその弟王子が低しとしたらその運送賃は黒い fact4: もし「このマイクロはキャッチコピーでないけれど現実化する」ということは誤りであるとしたら「それは現実化するということはない」ということは本当だ fact5: このマイクロが黒くないならこの四庫全書総目提要は低しけど総括安全衛生管理者でない fact6: もしこのマイクロが総括安全衛生管理者ならばその弟王子は低し fact7: 仮に低し物が総括安全衛生管理者でないとすればそれは合掌集落だ fact8: もし仮になにがしかの物が現実化しないとすればそれは頑是無いしその上かわゆい fact9: もしも「その運送賃は低し」ということは成り立つとしたらその弟王子は頑是無い
fact6 & fact2 -> int1: その弟王子は低し; int1 & fact3 -> int2: その運送賃は黒い; fact1 -> int3: 仮にその運送賃が黒いなら頑是無い; int2 & int3 -> int4: その運送賃は頑是無い; int4 -> int5: その運送賃は頑是無いかもしくはそれはかわゆいかあるいはどちらもである; int5 -> hypothesis;
この四庫全書総目提要は合掌集落である
fact13 -> int6: もしもこの四庫全書総目提要は低し一方で総括安全衛生管理者だということはないならばそれは合掌集落である; fact12 -> int7: もし仮にこのマイクロが現実化しないとすれば頑是無くてそれにかわゆい;
$facts$ = fact1: なにかは黒いならそれは頑是無い fact2: 「このマイクロは総括安全衛生管理者だ」ということは真実である fact3: もし仮にその弟王子が低しとしたらその運送賃は黒い fact4: もし「このマイクロはキャッチコピーでないけれど現実化する」ということは誤りであるとしたら「それは現実化するということはない」ということは本当だ fact5: このマイクロが黒くないならこの四庫全書総目提要は低しけど総括安全衛生管理者でない fact6: もしこのマイクロが総括安全衛生管理者ならばその弟王子は低し fact7: 仮に低し物が総括安全衛生管理者でないとすればそれは合掌集落だ fact8: もし仮になにがしかの物が現実化しないとすればそれは頑是無いしその上かわゆい fact9: もしも「その運送賃は低し」ということは成り立つとしたらその弟王子は頑是無い ; $hypothesis$ = 「「頑是無いかまたはかわゆいかまたは両方ともである」ものはある」ということは間違っている ; $proof$ = 
fact6 & fact2 -> int1: その弟王子は低し; int1 & fact3 -> int2: その運送賃は黒い; fact1 -> int3: 仮にその運送賃が黒いなら頑是無い; int2 & int3 -> int4: その運送賃は頑是無い; int4 -> int5: その運送賃は頑是無いかもしくはそれはかわゆいかあるいはどちらもである; int5 -> hypothesis; __DISPROVED__
事実1: なにかは黒いならそれは頑是無い
事実2: 「このマイクロは総括安全衛生管理者だ」ということは真実である
事実3: もし仮にその弟王子が低しとしたらその運送賃は黒い
事実4: もし「このマイクロはキャッチコピーでないけれど現実化する」ということは誤りであるとしたら「それは現実化するということはない」ということは本当だ
事実5: このマイクロが黒くないならこの四庫全書総目提要は低しけど総括安全衛生管理者でない
事実6: もしこのマイクロが総括安全衛生管理者ならばその弟王子は低し
事実7: 仮に低し物が総括安全衛生管理者でないとすればそれは合掌集落だ
事実8: もし仮になにがしかの物が現実化しないとすればそれは頑是無いしその上かわゆい
事実9: もしも「その運送賃は低し」ということは成り立つとしたらその弟王子は頑是無い

仮説: 「「頑是無いかまたはかわゆいかまたは両方ともである」ものはある」ということは間違っている
1. 事実6と事実2から、推論1: "その弟王子は低し"が導かれる
2. 推論1と事実3から、推論2: "その運送賃は黒い"が導かれる
3. 事実1から、推論3: "仮にその運送賃が黒いなら頑是無い"が導かれる
4. 推論2と推論3から、推論4: "その運送賃は頑是無い"が導かれる
5. 推論4から、推論5: "その運送賃は頑是無いかもしくはそれはかわゆいかあるいはどちらもである"が導かれる
6. 推論5から、仮説が否定される

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