「そのスポーツトレーニングは麗々しくない」ということは成り立つ
fact1: もしなんらかのものは竹本座でないけどバクテリオファージだとしたら男らしいということはない fact2: 労働生産性は竹本座であるということはないがしかしバクテリオファージである fact3: あの幼児達は竹本座でない fact4: もしもとある物が済まさないなら労働生産性であるしおまけにバクテリオファージだ fact5: 仮にそのスポーツトレーニングはバクテリオファージであるとすると「あのカテゴリー間は竹本座であるが麗々しくない」ということは事実でない fact6: もし仮にあのキャパシティーが竹本座であるならばそのスポーツトレーニングは麗々しい fact7: 仮にあのカテゴリー間が男らしくないならあのキャパシティーは竹本座である fact8: 仮になにがしかの物が男らしくないとすれば麗々しいということはない fact9: あのカテゴリー間は男らしくない fact10: あるものはバクテリオファージでないとすると「男らしくて竹本座だ」ということは誤りである fact11: もしそのスポーツトレーニングが男らしくないとすればあのカテゴリー間は麗々しい
fact7 & fact9 -> int1: あのキャパシティーは竹本座である; int1 & fact6 -> hypothesis;
「そのスポーツトレーニングは麗々しくない」ということは成り立つ
fact12 -> int2: あのカテゴリー間はバクテリオファージでないならば「それは男らしいし加えてそれは竹本座だ」ということは事実と異なる;
$facts$ = fact1: もしなんらかのものは竹本座でないけどバクテリオファージだとしたら男らしいということはない fact2: 労働生産性は竹本座であるということはないがしかしバクテリオファージである fact3: あの幼児達は竹本座でない fact4: もしもとある物が済まさないなら労働生産性であるしおまけにバクテリオファージだ fact5: 仮にそのスポーツトレーニングはバクテリオファージであるとすると「あのカテゴリー間は竹本座であるが麗々しくない」ということは事実でない fact6: もし仮にあのキャパシティーが竹本座であるならばそのスポーツトレーニングは麗々しい fact7: 仮にあのカテゴリー間が男らしくないならあのキャパシティーは竹本座である fact8: 仮になにがしかの物が男らしくないとすれば麗々しいということはない fact9: あのカテゴリー間は男らしくない fact10: あるものはバクテリオファージでないとすると「男らしくて竹本座だ」ということは誤りである fact11: もしそのスポーツトレーニングが男らしくないとすればあのカテゴリー間は麗々しい ; $hypothesis$ = 「そのスポーツトレーニングは麗々しくない」ということは成り立つ ; $proof$ = 
fact7 & fact9 -> int1: あのキャパシティーは竹本座である; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものは竹本座でないけどバクテリオファージだとしたら男らしいということはない
事実2: 労働生産性は竹本座であるということはないがしかしバクテリオファージである
事実3: あの幼児達は竹本座でない
事実4: もしもとある物が済まさないなら労働生産性であるしおまけにバクテリオファージだ
事実5: 仮にそのスポーツトレーニングはバクテリオファージであるとすると「あのカテゴリー間は竹本座であるが麗々しくない」ということは事実でない
事実6: もし仮にあのキャパシティーが竹本座であるならばそのスポーツトレーニングは麗々しい
事実7: 仮にあのカテゴリー間が男らしくないならあのキャパシティーは竹本座である
事実8: 仮になにがしかの物が男らしくないとすれば麗々しいということはない
事実9: あのカテゴリー間は男らしくない
事実10: あるものはバクテリオファージでないとすると「男らしくて竹本座だ」ということは誤りである
事実11: もしそのスポーツトレーニングが男らしくないとすればあのカテゴリー間は麗々しい

仮説: 「そのスポーツトレーニングは麗々しくない」ということは成り立つ
1. 事実7と事実9から、推論1: "あのキャパシティーは竹本座である"が導かれる
2. 推論1と事実6から、仮説が否定される

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