そのＨＵＣはもこもこしない
fact1: そのはまちはもこもこする fact2: そのＨＵＣは抉り回す fact3: もしあの移植細胞は借用書であるならば「アナルバイブであるが返却するということはない」ということは嘘である fact4: もしもその太郎は借用書であるとすると「あの移植細胞はアナルバイブでないかあるいは返却しないかもしくは両方である」ということは成り立たない fact5: 仮になにがしかのものは境界面でないならば乗せるがもこもこするということはない fact6: そのＨＵＣはもこもこする fact7: この時聞きはもこもこする
fact6 -> hypothesis;
fact6 -> hypothesis;
その肺病変はもこもこする
$facts$ = fact1: そのはまちはもこもこする fact2: そのＨＵＣは抉り回す fact3: もしあの移植細胞は借用書であるならば「アナルバイブであるが返却するということはない」ということは嘘である fact4: もしもその太郎は借用書であるとすると「あの移植細胞はアナルバイブでないかあるいは返却しないかもしくは両方である」ということは成り立たない fact5: 仮になにがしかのものは境界面でないならば乗せるがもこもこするということはない fact6: そのＨＵＣはもこもこする fact7: この時聞きはもこもこする ; $hypothesis$ = そのＨＵＣはもこもこしない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: そのはまちはもこもこする
事実2: そのＨＵＣは抉り回す
事実3: もしあの移植細胞は借用書であるならば「アナルバイブであるが返却するということはない」ということは嘘である
事実4: もしもその太郎は借用書であるとすると「あの移植細胞はアナルバイブでないかあるいは返却しないかもしくは両方である」ということは成り立たない
事実5: 仮になにがしかのものは境界面でないならば乗せるがもこもこするということはない
事実6: そのＨＵＣはもこもこする
事実7: この時聞きはもこもこする

仮説: そのＨＵＣはもこもこしない
1. 事実6から、仮説が否定される

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