そのエキストラは操船だが例外無いということはない
fact1: そのエキストラは竹中プランである fact2: もしもあるものが仕向けないとすると操船であるしそれに竹中プランである fact3: 仮にそのエキストラは竹中プランだとすると「操船だしその上例外無くない」ということは偽だ fact4: あの零五Ｒ滑走路が美々しいし仕向けるならそのエキストラは仕向けない fact5: もし仮にあの売店は例外無いとしたら「そのエキストラは例外無くない」ということは事実だ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
そのエキストラは操船だけれど例外無くない
fact7 -> int1: もしそのエキストラが仕向けないとしたらそれは操船であるしさらにそれは竹中プランだ;
$facts$ = fact1: そのエキストラは竹中プランである fact2: もしもあるものが仕向けないとすると操船であるしそれに竹中プランである fact3: 仮にそのエキストラは竹中プランだとすると「操船だしその上例外無くない」ということは偽だ fact4: あの零五Ｒ滑走路が美々しいし仕向けるならそのエキストラは仕向けない fact5: もし仮にあの売店は例外無いとしたら「そのエキストラは例外無くない」ということは事実だ ; $hypothesis$ = そのエキストラは操船だが例外無いということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: そのエキストラは竹中プランである
事実2: もしもあるものが仕向けないとすると操船であるしそれに竹中プランである
事実3: 仮にそのエキストラは竹中プランだとすると「操船だしその上例外無くない」ということは偽だ
事実4: あの零五Ｒ滑走路が美々しいし仕向けるならそのエキストラは仕向けない
事実5: もし仮にあの売店は例外無いとしたら「そのエキストラは例外無くない」ということは事実だ

仮説: そのエキストラは操船だが例外無いということはない
1. 事実3と事実1から、仮説が否定される

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