「その最終兵器は半裸体であるということはない」ということは正しい
fact1: その最終兵器は半裸体だ fact2: あの不良は半裸体だ fact3: 「何かは投げ方であるということはなくて半裸体でない」ということは真実でないならそれは半裸体だ fact4: あのＫ社は半裸体だ fact5: その最終兵器はぼやかす fact6: あの第二十二議会は半裸体である fact7: その最終兵器は誘発し易い fact8: その最終兵器は百円カンパだ fact9: もしこのアーウィン・ショーが地中深いならこの大振りは地中深い fact10: なにがしかの物は後らしくないなら「ごつかないが投げ方である」ということは間違いだ fact11: もし仮に「この大振りは地中深い」ということは成り立つとするとこの取得財産はコプラであるということはないしさらに後らしいということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
あの五秒以内は半裸体である
fact12 -> int1: もし「あの五秒以内は投げ方でなくて半裸体でない」ということは成り立たないなら半裸体である;
$facts$ = fact1: その最終兵器は半裸体だ fact2: あの不良は半裸体だ fact3: 「何かは投げ方であるということはなくて半裸体でない」ということは真実でないならそれは半裸体だ fact4: あのＫ社は半裸体だ fact5: その最終兵器はぼやかす fact6: あの第二十二議会は半裸体である fact7: その最終兵器は誘発し易い fact8: その最終兵器は百円カンパだ fact9: もしこのアーウィン・ショーが地中深いならこの大振りは地中深い fact10: なにがしかの物は後らしくないなら「ごつかないが投げ方である」ということは間違いだ fact11: もし仮に「この大振りは地中深い」ということは成り立つとするとこの取得財産はコプラであるということはないしさらに後らしいということはない ; $hypothesis$ = 「その最終兵器は半裸体であるということはない」ということは正しい ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: その最終兵器は半裸体だ
事実2: あの不良は半裸体だ
事実3: 「何かは投げ方であるということはなくて半裸体でない」ということは真実でないならそれは半裸体だ
事実4: あのＫ社は半裸体だ
事実5: その最終兵器はぼやかす
事実6: あの第二十二議会は半裸体である
事実7: その最終兵器は誘発し易い
事実8: その最終兵器は百円カンパだ
事実9: もしこのアーウィン・ショーが地中深いならこの大振りは地中深い
事実10: なにがしかの物は後らしくないなら「ごつかないが投げ方である」ということは間違いだ
事実11: もし仮に「この大振りは地中深い」ということは成り立つとするとこの取得財産はコプラであるということはないしさらに後らしいということはない

仮説: 「その最終兵器は半裸体であるということはない」ということは正しい
1. 事実1から、仮説が否定される

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