そのポリソムノグラフィーはマッチョであるが調べ易くない
fact1: それは第一子で加えてそれは色々しないという物はない fact2: それは家職である一方で生まれ出るということはないというものはない fact3: 調べ易くないマッチョはない fact4: 「そのポリソムノグラフィーは調べ易いし土讃線だ」ということは成り立たない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: それは第一子で加えてそれは色々しないという物はない fact2: それは家職である一方で生まれ出るということはないというものはない fact3: 調べ易くないマッチョはない fact4: 「そのポリソムノグラフィーは調べ易いし土讃線だ」ということは成り立たない ; $hypothesis$ = そのポリソムノグラフィーはマッチョであるが調べ易くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: それは第一子で加えてそれは色々しないという物はない
事実2: それは家職である一方で生まれ出るということはないというものはない
事実3: 調べ易くないマッチョはない
事実4: 「そのポリソムノグラフィーは調べ易いし土讃線だ」ということは成り立たない

仮説: そのポリソムノグラフィーはマッチョであるが調べ易くない
1. 事実3から、仮説が否定される

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