あのドリフトチューブは親友でない
fact1: そのアプリケーション毎はみみっちいかあるいは走り出ないか両方である fact2: そのアプリケーション毎は通り抜ける fact3: 仮にあのドリフトチューブがみみっちいとすればそれは仕事らしい fact4: 仮に「「非難がましいということはないかまたは鋭いかあるいは両方ともだ」ということは成り立つということはない」物はあるとしたら「そのアプリケーション毎は初心者だということはない」ということは成り立つ fact5: この蝶道は親友である fact6: どれもこれもは初心者でないししかもそれは鋭いということはない fact7: あのドリフトチューブは任用するということはないかあるいはそれは親友でない fact8: もし「そのアプリケーション毎は管理支配する」ということは本当であるならあのドリフトチューブは親友である fact9: あのドリフトチューブは親友でないかあるいはそれは走り出ないかまたは両方ともである fact10: 仮になんらかのものが任用するとすればそれは管理支配する fact11: 「なにがしかのものは分割出来る」ということは成り立つとするとそれは御寂しい fact12: もし「あのドリフトチューブは任用するかもしくはそれは管理支配する」ということは成り立たないとすれば親友でない fact13: もしそのアプリケーション毎が走り出ないかまたは拡大しないか両方ともであるならば細い fact14: 「そのアプリケーション毎がみみっちくないとすればそのアプリケーション毎は任用する」ということは真実である fact15: そのアプリケーション毎はみみっちくないかまたは走り出ない fact16: 仮にとあるものは管理支配するということはないが親友だとすればそれは用心深いということはない fact17: もし仮にそのアプリケーション毎はみみっちくないかまたは走り出ないかあるいは両方ともだとすると「それは任用する」ということは成り立つ fact18: あのからかいは任用する
fact17 & fact15 -> int1: そのアプリケーション毎は任用する; fact10 -> int2: もしもそのアプリケーション毎は任用するとすれば「管理支配する」ということは真実だ; int1 & int2 -> int3: そのアプリケーション毎は管理支配する; int3 & fact8 -> hypothesis;
あのドリフトチューブは任用しないかもしくはそれは用心深くない
fact20 -> int4: そのアプリケーション毎は初心者でなくてしかも鋭くない; int4 -> int5: そのアプリケーション毎は初心者でない; int5 -> int6: すべては初心者でない; int6 -> int7: あのドリフトチューブは初心者であるということはない; fact19 -> int8: もしあのドリフトチューブが管理支配するということはないけど親友であるとすれば用心深くない;
$facts$ = fact1: そのアプリケーション毎はみみっちいかあるいは走り出ないか両方である fact2: そのアプリケーション毎は通り抜ける fact3: 仮にあのドリフトチューブがみみっちいとすればそれは仕事らしい fact4: 仮に「「非難がましいということはないかまたは鋭いかあるいは両方ともだ」ということは成り立つということはない」物はあるとしたら「そのアプリケーション毎は初心者だということはない」ということは成り立つ fact5: この蝶道は親友である fact6: どれもこれもは初心者でないししかもそれは鋭いということはない fact7: あのドリフトチューブは任用するということはないかあるいはそれは親友でない fact8: もし「そのアプリケーション毎は管理支配する」ということは本当であるならあのドリフトチューブは親友である fact9: あのドリフトチューブは親友でないかあるいはそれは走り出ないかまたは両方ともである fact10: 仮になんらかのものが任用するとすればそれは管理支配する fact11: 「なにがしかのものは分割出来る」ということは成り立つとするとそれは御寂しい fact12: もし「あのドリフトチューブは任用するかもしくはそれは管理支配する」ということは成り立たないとすれば親友でない fact13: もしそのアプリケーション毎が走り出ないかまたは拡大しないか両方ともであるならば細い fact14: 「そのアプリケーション毎がみみっちくないとすればそのアプリケーション毎は任用する」ということは真実である fact15: そのアプリケーション毎はみみっちくないかまたは走り出ない fact16: 仮にとあるものは管理支配するということはないが親友だとすればそれは用心深いということはない fact17: もし仮にそのアプリケーション毎はみみっちくないかまたは走り出ないかあるいは両方ともだとすると「それは任用する」ということは成り立つ fact18: あのからかいは任用する ; $hypothesis$ = あのドリフトチューブは親友でない ; $proof$ = 
fact17 & fact15 -> int1: そのアプリケーション毎は任用する; fact10 -> int2: もしもそのアプリケーション毎は任用するとすれば「管理支配する」ということは真実だ; int1 & int2 -> int3: そのアプリケーション毎は管理支配する; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: そのアプリケーション毎はみみっちいかあるいは走り出ないか両方である
事実2: そのアプリケーション毎は通り抜ける
事実3: 仮にあのドリフトチューブがみみっちいとすればそれは仕事らしい
事実4: 仮に「「非難がましいということはないかまたは鋭いかあるいは両方ともだ」ということは成り立つということはない」物はあるとしたら「そのアプリケーション毎は初心者だということはない」ということは成り立つ
事実5: この蝶道は親友である
事実6: どれもこれもは初心者でないししかもそれは鋭いということはない
事実7: あのドリフトチューブは任用するということはないかあるいはそれは親友でない
事実8: もし「そのアプリケーション毎は管理支配する」ということは本当であるならあのドリフトチューブは親友である
事実9: あのドリフトチューブは親友でないかあるいはそれは走り出ないかまたは両方ともである
事実10: 仮になんらかのものが任用するとすればそれは管理支配する
事実11: 「なにがしかのものは分割出来る」ということは成り立つとするとそれは御寂しい
事実12: もし「あのドリフトチューブは任用するかもしくはそれは管理支配する」ということは成り立たないとすれば親友でない
事実13: もしそのアプリケーション毎が走り出ないかまたは拡大しないか両方ともであるならば細い
事実14: 「そのアプリケーション毎がみみっちくないとすればそのアプリケーション毎は任用する」ということは真実である
事実15: そのアプリケーション毎はみみっちくないかまたは走り出ない
事実16: 仮にとあるものは管理支配するということはないが親友だとすればそれは用心深いということはない
事実17: もし仮にそのアプリケーション毎はみみっちくないかまたは走り出ないかあるいは両方ともだとすると「それは任用する」ということは成り立つ
事実18: あのからかいは任用する

仮説: あのドリフトチューブは親友でない
1. 事実17と事実15から、推論1: "そのアプリケーション毎は任用する"が導かれる
2. 事実10から、推論2: "もしもそのアプリケーション毎は任用するとすれば「管理支配する」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "そのアプリケーション毎は管理支配する"が導かれる
4. 推論3と事実8から、仮説が否定される

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