「この派は賭しなくてかつ籤引きだということはない」ということは偽である
fact1: あのインターネットユーザーは母親自身である fact2: 仮にこの坂本弁護士ビデオ問題が籤引きだとすればこの派は賭しないし籤引きでない fact3: この坂本弁護士ビデオ問題は制御盤である fact4: あの関係全体は母親自身だということはない fact5: あの関係全体は関取でない fact6: もしもあの関係全体が母親自身でないならこの坂本弁護士ビデオ問題は制御盤であるしその上籤引きである fact7: もしもあの関係全体が母親自身だということはないとしたらこの坂本弁護士ビデオ問題は制御盤だ
fact6 & fact4 -> int1: この坂本弁護士ビデオ問題は制御盤で籤引きだ; int1 -> int2: 「この坂本弁護士ビデオ問題は籤引きである」ということは事実だ; int2 & fact2 -> hypothesis;
$facts$ = fact1: あのインターネットユーザーは母親自身である fact2: 仮にこの坂本弁護士ビデオ問題が籤引きだとすればこの派は賭しないし籤引きでない fact3: この坂本弁護士ビデオ問題は制御盤である fact4: あの関係全体は母親自身だということはない fact5: あの関係全体は関取でない fact6: もしもあの関係全体が母親自身でないならこの坂本弁護士ビデオ問題は制御盤であるしその上籤引きである fact7: もしもあの関係全体が母親自身だということはないとしたらこの坂本弁護士ビデオ問題は制御盤だ ; $hypothesis$ = 「この派は賭しなくてかつ籤引きだということはない」ということは偽である ; $proof$ = 
fact6 & fact4 -> int1: この坂本弁護士ビデオ問題は制御盤で籤引きだ; int1 -> int2: 「この坂本弁護士ビデオ問題は籤引きである」ということは事実だ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あのインターネットユーザーは母親自身である
事実2: 仮にこの坂本弁護士ビデオ問題が籤引きだとすればこの派は賭しないし籤引きでない
事実3: この坂本弁護士ビデオ問題は制御盤である
事実4: あの関係全体は母親自身だということはない
事実5: あの関係全体は関取でない
事実6: もしもあの関係全体が母親自身でないならこの坂本弁護士ビデオ問題は制御盤であるしその上籤引きである
事実7: もしもあの関係全体が母親自身だということはないとしたらこの坂本弁護士ビデオ問題は制御盤だ

仮説: 「この派は賭しなくてかつ籤引きだということはない」ということは偽である
1. 事実6と事実4から、推論1: "この坂本弁護士ビデオ問題は制御盤で籤引きだ"が導かれる
2. 推論1から、推論2: "「この坂本弁護士ビデオ問題は籤引きである」ということは事実だ"が導かれる
3. 推論2と事実2から、仮説が否定される

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