「あの電荷密度は探究心だということはなくてしかも聖典でない」ということは真実である
fact1: もし仮に「なにかは外帯であるが疑わしくない」ということは誤りであるならそれは外帯だということはない fact2: もしとある物が外帯でないとするとそれが聖典だししかも受動的視聴者だ fact3: あの電荷密度は探究心でなくてかつ聖典でない
fact3 -> hypothesis;
fact3 -> hypothesis;
「「あの電荷密度は探究心でないし聖典でない」ということは真実である」ということは偽である
fact4 -> int1: この焦げが外帯でないとすれば聖典だし更に受動的視聴者である; fact5 -> int2: もし仮に「この焦げは外帯だがしかしそれは疑わしくない」ということは間違いだとすると外帯でない;
$facts$ = fact1: もし仮に「なにかは外帯であるが疑わしくない」ということは誤りであるならそれは外帯だということはない fact2: もしとある物が外帯でないとするとそれが聖典だししかも受動的視聴者だ fact3: あの電荷密度は探究心でなくてかつ聖典でない ; $hypothesis$ = 「あの電荷密度は探究心だということはなくてしかも聖典でない」ということは真実である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは外帯であるが疑わしくない」ということは誤りであるならそれは外帯だということはない
事実2: もしとある物が外帯でないとするとそれが聖典だししかも受動的視聴者だ
事実3: あの電荷密度は探究心でなくてかつ聖典でない

仮説: 「あの電荷密度は探究心だということはなくてしかも聖典でない」ということは真実である
1. 事実3から、仮説が導かれる

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