「「ミオシン頭部でない」物はある」ということは誤りだ
fact1: この練習試合が寄り集まらないとしたらその労災補償はミオシン頭部だ fact2: その労災補償が発汗でないとすればあの練習試合はミオシン頭部だということはない fact3: 「寄り集まる」物はある fact4: もし仮にこの練習試合がミオシン頭部であるということはないとしたらその労災補償は発汗でない fact5: この練習試合は発汗だということはないかもしくはそれは寄り集まらないかもしくは両方である fact6: なにがしかの物は爆発寸前である fact7: この練習試合は借用しない fact8: もしこの練習試合が寄り集まらないならばその労災補償はミオシン頭部でない fact9: 何らかのものは拡大縮小する fact10: とあるものは完了する fact11: その労災補償は武田家でない fact12: もしこの練習試合が発汗であるということはないとするとその労災補償はミオシン頭部でない fact13: その労災補償は寄り集まらない fact14: その労災補償はミオシン頭部でないかもしくはそれは寄り集まらないかあるいは両方ともだ fact15: 「この練習試合は座らない」ということは事実だ
fact5 & fact12 & fact8 -> int1: その労災補償はミオシン頭部でない; int1 -> hypothesis;
$facts$ = fact1: この練習試合が寄り集まらないとしたらその労災補償はミオシン頭部だ fact2: その労災補償が発汗でないとすればあの練習試合はミオシン頭部だということはない fact3: 「寄り集まる」物はある fact4: もし仮にこの練習試合がミオシン頭部であるということはないとしたらその労災補償は発汗でない fact5: この練習試合は発汗だということはないかもしくはそれは寄り集まらないかもしくは両方である fact6: なにがしかの物は爆発寸前である fact7: この練習試合は借用しない fact8: もしこの練習試合が寄り集まらないならばその労災補償はミオシン頭部でない fact9: 何らかのものは拡大縮小する fact10: とあるものは完了する fact11: その労災補償は武田家でない fact12: もしこの練習試合が発汗であるということはないとするとその労災補償はミオシン頭部でない fact13: その労災補償は寄り集まらない fact14: その労災補償はミオシン頭部でないかもしくはそれは寄り集まらないかあるいは両方ともだ fact15: 「この練習試合は座らない」ということは事実だ ; $hypothesis$ = 「「ミオシン頭部でない」物はある」ということは誤りだ ; $proof$ = 
fact5 & fact12 & fact8 -> int1: その労災補償はミオシン頭部でない; int1 -> hypothesis; __DISPROVED__
事実1: この練習試合が寄り集まらないとしたらその労災補償はミオシン頭部だ
事実2: その労災補償が発汗でないとすればあの練習試合はミオシン頭部だということはない
事実3: 「寄り集まる」物はある
事実4: もし仮にこの練習試合がミオシン頭部であるということはないとしたらその労災補償は発汗でない
事実5: この練習試合は発汗だということはないかもしくはそれは寄り集まらないかもしくは両方である
事実6: なにがしかの物は爆発寸前である
事実7: この練習試合は借用しない
事実8: もしこの練習試合が寄り集まらないならばその労災補償はミオシン頭部でない
事実9: 何らかのものは拡大縮小する
事実10: とあるものは完了する
事実11: その労災補償は武田家でない
事実12: もしこの練習試合が発汗であるということはないとするとその労災補償はミオシン頭部でない
事実13: その労災補償は寄り集まらない
事実14: その労災補償はミオシン頭部でないかもしくはそれは寄り集まらないかあるいは両方ともだ
事実15: 「この練習試合は座らない」ということは事実だ

仮説: 「「ミオシン頭部でない」物はある」ということは誤りだ
1. 事実5と事実12と事実8から、推論1: "その労災補償はミオシン頭部でない"が導かれる
2. 推論1から、仮説が否定される

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