あの基本ファイルは摂取すらないしその上惚けない
fact1: とある物は送出する fact2: 「「送出しない」ということは真実である」ものはある fact3: 仮に「送出しない」物があるとしたらあの基本ファイルは摂取すらない fact4: 仮になんらかのものは送出しないとすれば「あの基本ファイルは摂取すということはないし加えてそれは惚けない」ということは確かだ
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: とある物は送出する fact2: 「「送出しない」ということは真実である」ものはある fact3: 仮に「送出しない」物があるとしたらあの基本ファイルは摂取すらない fact4: 仮になんらかのものは送出しないとすれば「あの基本ファイルは摂取すということはないし加えてそれは惚けない」ということは確かだ ; $hypothesis$ = あの基本ファイルは摂取すらないしその上惚けない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: とある物は送出する
事実2: 「「送出しない」ということは真実である」ものはある
事実3: 仮に「送出しない」物があるとしたらあの基本ファイルは摂取すらない
事実4: 仮になんらかのものは送出しないとすれば「あの基本ファイルは摂取すということはないし加えてそれは惚けない」ということは確かだ

仮説: あの基本ファイルは摂取すらないしその上惚けない
1. 事実2と事実4から、仮説が導かれる

よって、仮説が証明されました。