「なにがしかのものは根保証でないし返れない」ということは成り立たない
fact1: なにかは煩くない fact2: この体系性は根保証であるということはないし更に返れない fact3: この焼き芋が根保証でないとしたらあの二分一以下は牡蠣でない
fact2 -> hypothesis;
fact2 -> hypothesis;
「牡蠣でなくてかつ浅黒くない」ものはある
$facts$ = fact1: なにかは煩くない fact2: この体系性は根保証であるということはないし更に返れない fact3: この焼き芋が根保証でないとしたらあの二分一以下は牡蠣でない ; $hypothesis$ = 「なにがしかのものは根保証でないし返れない」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: なにかは煩くない
事実2: この体系性は根保証であるということはないし更に返れない
事実3: この焼き芋が根保証でないとしたらあの二分一以下は牡蠣でない

仮説: 「なにがしかのものは根保証でないし返れない」ということは成り立たない
1. 事実2から、仮説が否定される

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