あの中等度は与え難い
fact1: もしもあるものがティタン達だということはないなら三分泌装置であるということはなくて与え難くない fact2: もし仮にあの中等度が三分泌装置でなくて与え難くないとしたらこの変性・凝集は与え難い fact3: 「この大会社はおもろくないし半田付けしない」ということは偽である fact4: もしなんらかの物は与え難いならば「それはおもろくないし出易くない」ということは成り立たない fact5: もし「「おもろくないし半田付けしない」ということは間違いである」物があるとするとあの中等度は与え難い fact6: 「「おもろいということはないが半田付けする」ということは間違いである」物はある fact7: 「おもろいということはないしその上半田付けしない」ものはある
fact3 -> int1: 「「おもろいということはないし更に半田付けしない」ということは間違っている」ものはある; int1 & fact5 -> hypothesis;
「この変性・凝集はおもろくないし出易くない」ということは嘘だ
fact8 -> int2: この変性・凝集は与え難いならば「それはおもろくないし出易くない」ということは間違いである; fact9 -> int3: もしあの中等度がティタン達でないとするとそれは三分泌装置でなくて更に与え難くない;
$facts$ = fact1: もしもあるものがティタン達だということはないなら三分泌装置であるということはなくて与え難くない fact2: もし仮にあの中等度が三分泌装置でなくて与え難くないとしたらこの変性・凝集は与え難い fact3: 「この大会社はおもろくないし半田付けしない」ということは偽である fact4: もしなんらかの物は与え難いならば「それはおもろくないし出易くない」ということは成り立たない fact5: もし「「おもろくないし半田付けしない」ということは間違いである」物があるとするとあの中等度は与え難い fact6: 「「おもろいということはないが半田付けする」ということは間違いである」物はある fact7: 「おもろいということはないしその上半田付けしない」ものはある ; $hypothesis$ = あの中等度は与え難い ; $proof$ = 
fact3 -> int1: 「「おもろいということはないし更に半田付けしない」ということは間違っている」ものはある; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしもあるものがティタン達だということはないなら三分泌装置であるということはなくて与え難くない
事実2: もし仮にあの中等度が三分泌装置でなくて与え難くないとしたらこの変性・凝集は与え難い
事実3: 「この大会社はおもろくないし半田付けしない」ということは偽である
事実4: もしなんらかの物は与え難いならば「それはおもろくないし出易くない」ということは成り立たない
事実5: もし「「おもろくないし半田付けしない」ということは間違いである」物があるとするとあの中等度は与え難い
事実6: 「「おもろいということはないが半田付けする」ということは間違いである」物はある
事実7: 「おもろいということはないしその上半田付けしない」ものはある

仮説: あの中等度は与え難い
1. 事実3から、推論1: "「「おもろいということはないし更に半田付けしない」ということは間違っている」ものはある"が導かれる
2. 推論1と事実5から、仮説が導かれる

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