「そのＩＢは飲み比べるか人家であるかまたはどちらもである」ということは嘘だ
fact1: もし仮に「「皮膚機能でない」ということは確かな」物があるならばあのＩＢは飲み比べるかまたはそれは人家であるかあるいは両方ともだ fact2: もしそのＩＢが皮膚機能でないしその上人家であるということはないならその一メガバイト当たりは飲み比べない fact3: 「あの各紙は皮膚機能でない」ということは成り立つ
fact3 -> int1: 「皮膚機能でない」ものはある; int1 & fact1 -> hypothesis;
fact3 -> int1: (Ex): ¬{A}x; int1 & fact1 -> hypothesis;
その一メガバイト当たりは飲み比べない
$facts$ = fact1: もし仮に「「皮膚機能でない」ということは確かな」物があるならばあのＩＢは飲み比べるかまたはそれは人家であるかあるいは両方ともだ fact2: もしそのＩＢが皮膚機能でないしその上人家であるということはないならその一メガバイト当たりは飲み比べない fact3: 「あの各紙は皮膚機能でない」ということは成り立つ ; $hypothesis$ = 「そのＩＢは飲み比べるか人家であるかまたはどちらもである」ということは嘘だ ; $proof$ = 
fact3 -> int1: 「皮膚機能でない」ものはある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「「皮膚機能でない」ということは確かな」物があるならばあのＩＢは飲み比べるかまたはそれは人家であるかあるいは両方ともだ
事実2: もしそのＩＢが皮膚機能でないしその上人家であるということはないならその一メガバイト当たりは飲み比べない
事実3: 「あの各紙は皮膚機能でない」ということは成り立つ

仮説: 「そのＩＢは飲み比べるか人家であるかまたはどちらもである」ということは嘘だ
1. 事実3から、推論1: "「皮膚機能でない」ものはある"が導かれる
2. 推論1と事実1から、仮説が否定される

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