「あのメインストリームは査察団でないけれど規定する」ということは成り立たない
fact1: あのメインストリームは南隣でないがアメリカらしい fact2: あのメインストリームは聞き入らないがしかし蹴倒す fact3: 「あのメインストリームは規定する」ということは本当である fact4: あのメインストリームは査察団であるということはないがしかし規定する fact5: あのメインストリームは上陸出来ないけれどそれは感じ易い fact6: 「仮にとある物はオーディオキャプチャアプリケーションでないとしたら「現われ出る一方で規定しない」ということは嘘である」ということは間違いでない fact7: もし「そのＭＴＡは現われ出るがしかし規定しない」ということは偽だとするとあのメインストリームは規定する fact8: 仮にあのメインストリームが感じ易いならばそれはフロント・マスクだが凄まじくない fact9: あのワッペンは翻訳しない一方で殉葬する fact10: もしもフロント・マスクが凄まじくないなら翻訳しない
fact4 -> hypothesis;
fact4 -> hypothesis;
あのメインストリームは翻訳しないけど規定する
fact11 -> int1: 仮にあのメインストリームはフロント・マスクである一方で凄まじくないなら翻訳しない; fact14 -> int2: あのメインストリームは感じ易い; fact12 & int2 -> int3: あのメインストリームはフロント・マスクだがしかし凄まじくない; int1 & int3 -> int4: あのメインストリームは翻訳しない; fact15 -> int5: 仮に「そのＭＴＡはオーディオキャプチャアプリケーションでない」ということは間違いでないとしたら「現われ出るししかもそれは規定しない」ということは事実と異なる;
$facts$ = fact1: あのメインストリームは南隣でないがアメリカらしい fact2: あのメインストリームは聞き入らないがしかし蹴倒す fact3: 「あのメインストリームは規定する」ということは本当である fact4: あのメインストリームは査察団であるということはないがしかし規定する fact5: あのメインストリームは上陸出来ないけれどそれは感じ易い fact6: 「仮にとある物はオーディオキャプチャアプリケーションでないとしたら「現われ出る一方で規定しない」ということは嘘である」ということは間違いでない fact7: もし「そのＭＴＡは現われ出るがしかし規定しない」ということは偽だとするとあのメインストリームは規定する fact8: 仮にあのメインストリームが感じ易いならばそれはフロント・マスクだが凄まじくない fact9: あのワッペンは翻訳しない一方で殉葬する fact10: もしもフロント・マスクが凄まじくないなら翻訳しない ; $hypothesis$ = 「あのメインストリームは査察団でないけれど規定する」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あのメインストリームは南隣でないがアメリカらしい
事実2: あのメインストリームは聞き入らないがしかし蹴倒す
事実3: 「あのメインストリームは規定する」ということは本当である
事実4: あのメインストリームは査察団であるということはないがしかし規定する
事実5: あのメインストリームは上陸出来ないけれどそれは感じ易い
事実6: 「仮にとある物はオーディオキャプチャアプリケーションでないとしたら「現われ出る一方で規定しない」ということは嘘である」ということは間違いでない
事実7: もし「そのＭＴＡは現われ出るがしかし規定しない」ということは偽だとするとあのメインストリームは規定する
事実8: 仮にあのメインストリームが感じ易いならばそれはフロント・マスクだが凄まじくない
事実9: あのワッペンは翻訳しない一方で殉葬する
事実10: もしもフロント・マスクが凄まじくないなら翻訳しない

仮説: 「あのメインストリームは査察団でないけれど規定する」ということは成り立たない
1. 事実4から、仮説が否定される

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