「「あの説得は御連れ下さるかもしくはそれは防止出来るかまたはどちらもである」ということは成り立つということはない」ということは成り立つ
fact1: もしそのモーション・ピクチャーが明治元年ならあの説得は防止出来る fact2: あの説得は明治元年である fact3: そのモーション・ピクチャーは明治元年だ fact4: 何らかのものが国外退去だということはないならば使い切れるかあるいは二百十七型式併行期であるかあるいは両方ともである fact5: 何もかもは国外退去でなくてそれは払い続ける fact6: もしそのモーション・ピクチャーが使い切れるとしたらあの説得は測り難くない fact7: 測り難くない物は想定し難くないししかも洗い直さない
fact1 & fact3 -> int1: あの説得は防止出来る; int1 -> hypothesis;
「あの説得は御連れ下さるかもしくは防止出来るかあるいは両方である」ということは偽である
fact8 -> int2: もしも「あの説得は測り難くない」ということは確かだとすると想定し難くないしその上洗い直さない; fact11 -> int3: もしもその完全親会社が国外退去でないならそれは使い切れるかまたはそれは二百十七型式併行期であるか両方ともだ; fact9 -> int4: あの分子機構は国外退去でないけど払い続ける; int4 -> int5: あの分子機構は国外退去でない; int5 -> int6: 全てのものは国外退去でない; int6 -> int7: その完全親会社は国外退去でない; int3 & int7 -> int8: その完全親会社は使い切れるか二百十七型式併行期であるかまたは両方だ; int8 -> int9: 何もかもは使い切れるかまたは二百十七型式併行期であるかあるいは両方だ; int9 -> int10: そのモーション・ピクチャーは使い切れるかもしくは二百十七型式併行期である;
$facts$ = fact1: もしそのモーション・ピクチャーが明治元年ならあの説得は防止出来る fact2: あの説得は明治元年である fact3: そのモーション・ピクチャーは明治元年だ fact4: 何らかのものが国外退去だということはないならば使い切れるかあるいは二百十七型式併行期であるかあるいは両方ともである fact5: 何もかもは国外退去でなくてそれは払い続ける fact6: もしそのモーション・ピクチャーが使い切れるとしたらあの説得は測り難くない fact7: 測り難くない物は想定し難くないししかも洗い直さない ; $hypothesis$ = 「「あの説得は御連れ下さるかもしくはそれは防止出来るかまたはどちらもである」ということは成り立つということはない」ということは成り立つ ; $proof$ = 
fact1 & fact3 -> int1: あの説得は防止出来る; int1 -> hypothesis; __DISPROVED__
事実1: もしそのモーション・ピクチャーが明治元年ならあの説得は防止出来る
事実2: あの説得は明治元年である
事実3: そのモーション・ピクチャーは明治元年だ
事実4: 何らかのものが国外退去だということはないならば使い切れるかあるいは二百十七型式併行期であるかあるいは両方ともである
事実5: 何もかもは国外退去でなくてそれは払い続ける
事実6: もしそのモーション・ピクチャーが使い切れるとしたらあの説得は測り難くない
事実7: 測り難くない物は想定し難くないししかも洗い直さない

仮説: 「「あの説得は御連れ下さるかもしくはそれは防止出来るかまたはどちらもである」ということは成り立つということはない」ということは成り立つ
1. 事実1と事実3から、推論1: "あの説得は防止出来る"が導かれる
2. 推論1から、仮説が否定される

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