この羽虫は比較し難くないけど円形坑である
fact1: 「「投球でないかまたは着せ掛けるかどちらもである」ということは誤っている」物があるならそのピストルズは円形坑でない fact2: 「この羽虫は比較し難いし更に円形坑である」ということは成り立たない fact3: なんらかのものは着せ掛けない fact4: この横っ腹は着せ掛けない fact5: 「この横っ腹は投球であるということはないかそれは着せ掛けるかもしくは両方だ」ということは誤りである fact6: 「この羽虫は投球でないかあるいはそれは比較し難い」ということは誤っている fact7: 「「投球であるかまたは着せ掛けるかもしくはどちらもだ」ということは成り立たない」ものはある fact8: 何かは投球でないか着せ掛けるかまたは両方である fact9: もしそのピストルズは円形坑でないなら「この羽虫は比較し難いししかも円形坑である」ということは偽だ fact10: 「投球である」ものはある fact11: 構え易いものは比較し難くないけれど円形坑である fact12: 仮にそのピストルズは円形坑でないなら「この羽虫は比較し難くないけれど円形坑である」ということは成り立たない
fact5 -> int1: 「「投球でないか着せ掛ける」ということは嘘な」ものはある; int1 & fact1 -> int2: そのピストルズは円形坑でない; int2 & fact12 -> hypothesis;
この羽虫は比較し難くないけれど円形坑だ
fact13 -> int3: もし仮にこの羽虫が構え易いならば比較し難くないがしかし円形坑だ;
$facts$ = fact1: 「「投球でないかまたは着せ掛けるかどちらもである」ということは誤っている」物があるならそのピストルズは円形坑でない fact2: 「この羽虫は比較し難いし更に円形坑である」ということは成り立たない fact3: なんらかのものは着せ掛けない fact4: この横っ腹は着せ掛けない fact5: 「この横っ腹は投球であるということはないかそれは着せ掛けるかもしくは両方だ」ということは誤りである fact6: 「この羽虫は投球でないかあるいはそれは比較し難い」ということは誤っている fact7: 「「投球であるかまたは着せ掛けるかもしくはどちらもだ」ということは成り立たない」ものはある fact8: 何かは投球でないか着せ掛けるかまたは両方である fact9: もしそのピストルズは円形坑でないなら「この羽虫は比較し難いししかも円形坑である」ということは偽だ fact10: 「投球である」ものはある fact11: 構え易いものは比較し難くないけれど円形坑である fact12: 仮にそのピストルズは円形坑でないなら「この羽虫は比較し難くないけれど円形坑である」ということは成り立たない ; $hypothesis$ = この羽虫は比較し難くないけど円形坑である ; $proof$ = 
fact5 -> int1: 「「投球でないか着せ掛ける」ということは嘘な」ものはある; int1 & fact1 -> int2: そのピストルズは円形坑でない; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: 「「投球でないかまたは着せ掛けるかどちらもである」ということは誤っている」物があるならそのピストルズは円形坑でない
事実2: 「この羽虫は比較し難いし更に円形坑である」ということは成り立たない
事実3: なんらかのものは着せ掛けない
事実4: この横っ腹は着せ掛けない
事実5: 「この横っ腹は投球であるということはないかそれは着せ掛けるかもしくは両方だ」ということは誤りである
事実6: 「この羽虫は投球でないかあるいはそれは比較し難い」ということは誤っている
事実7: 「「投球であるかまたは着せ掛けるかもしくはどちらもだ」ということは成り立たない」ものはある
事実8: 何かは投球でないか着せ掛けるかまたは両方である
事実9: もしそのピストルズは円形坑でないなら「この羽虫は比較し難いししかも円形坑である」ということは偽だ
事実10: 「投球である」ものはある
事実11: 構え易いものは比較し難くないけれど円形坑である
事実12: 仮にそのピストルズは円形坑でないなら「この羽虫は比較し難くないけれど円形坑である」ということは成り立たない

仮説: この羽虫は比較し難くないけど円形坑である
1. 事実5から、推論1: "「「投球でないか着せ掛ける」ということは嘘な」ものはある"が導かれる
2. 推論1と事実1から、推論2: "そのピストルズは円形坑でない"が導かれる
3. 推論2と事実12から、仮説が否定される

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