その比較可能性は提供し続ける
fact1: もしもなんらかのものが教授すらないかそれは上がり難いならば「提供し続けない」ということは誤っているということはない fact2: そのミディアムは漫画文化でない fact3: もしそのミディアムが上げ足であるけど漫画文化であるということはないとすればあのドライブ文字は教授す fact4: そのミディアムは教授すけど漫画文化でない fact5: そのミディアムは上げ足だけれど漫画文化であるということはない fact6: もし仮にそのドライブ文字が教授すればその比較可能性は提供し続ける fact7: もしもそのミディアムが上げ足であるしおまけに漫画文化ならそのドライブ文字は教授す
fact3 & fact5 -> int1: そのドライブ文字は教授す; int1 & fact6 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
その比較可能性は提供し続けない
fact8 -> int2: もしその比較可能性が教授すらないかもしくは上がり難いかもしくは両方だとするとそれは提供し続けない;
$facts$ = fact1: もしもなんらかのものが教授すらないかそれは上がり難いならば「提供し続けない」ということは誤っているということはない fact2: そのミディアムは漫画文化でない fact3: もしそのミディアムが上げ足であるけど漫画文化であるということはないとすればあのドライブ文字は教授す fact4: そのミディアムは教授すけど漫画文化でない fact5: そのミディアムは上げ足だけれど漫画文化であるということはない fact6: もし仮にそのドライブ文字が教授すればその比較可能性は提供し続ける fact7: もしもそのミディアムが上げ足であるしおまけに漫画文化ならそのドライブ文字は教授す ; $hypothesis$ = その比較可能性は提供し続ける ; $proof$ = 
fact3 & fact5 -> int1: そのドライブ文字は教授す; int1 & fact6 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが教授すらないかそれは上がり難いならば「提供し続けない」ということは誤っているということはない
事実2: そのミディアムは漫画文化でない
事実3: もしそのミディアムが上げ足であるけど漫画文化であるということはないとすればあのドライブ文字は教授す
事実4: そのミディアムは教授すけど漫画文化でない
事実5: そのミディアムは上げ足だけれど漫画文化であるということはない
事実6: もし仮にそのドライブ文字が教授すればその比較可能性は提供し続ける
事実7: もしもそのミディアムが上げ足であるしおまけに漫画文化ならそのドライブ文字は教授す

仮説: その比較可能性は提供し続ける
1. 事実3と事実5から、推論1: "そのドライブ文字は教授す"が導かれる
2. 推論1と事実6から、仮説が導かれる

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