その提出義務はバイトしない
fact1: この公立療養所は手緩い fact2: 仮にとあるものが小楢でないとすればそれは手緩くないしバイトしない fact3: もしもこの公立療養所が手緩いとしたらその提出義務はバイトする
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
その提出義務はバイトしない
fact4 -> int1: その提出義務が小楢でないとしたら手緩くないしさらにそれはバイトしない;
$facts$ = fact1: この公立療養所は手緩い fact2: 仮にとあるものが小楢でないとすればそれは手緩くないしバイトしない fact3: もしもこの公立療養所が手緩いとしたらその提出義務はバイトする ; $hypothesis$ = その提出義務はバイトしない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: この公立療養所は手緩い
事実2: 仮にとあるものが小楢でないとすればそれは手緩くないしバイトしない
事実3: もしもこの公立療養所が手緩いとしたらその提出義務はバイトする

仮説: その提出義務はバイトしない
1. 事実3と事実1から、仮説が否定される

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