「この前納はこよなくなくて加えて排尿しない」ということは嘘だ
fact1: もし仮に何かは届き易くないならばこの前納はこよなくなくて排尿しない fact2: この前納はこよなくない fact3: 届き易いものはある fact4: 「届き易いということはない」ものはある fact5: すべての物は筋注しない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
「この前納はこよなくなくてそれに排尿しない」ということは成り立つということはない
fact6 -> int1: あの急ブレーキは筋注しない;
$facts$ = fact1: もし仮に何かは届き易くないならばこの前納はこよなくなくて排尿しない fact2: この前納はこよなくない fact3: 届き易いものはある fact4: 「届き易いということはない」ものはある fact5: すべての物は筋注しない ; $hypothesis$ = 「この前納はこよなくなくて加えて排尿しない」ということは嘘だ ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは届き易くないならばこの前納はこよなくなくて排尿しない
事実2: この前納はこよなくない
事実3: 届き易いものはある
事実4: 「届き易いということはない」ものはある
事実5: すべての物は筋注しない

仮説: 「この前納はこよなくなくて加えて排尿しない」ということは嘘だ
1. 事実4と事実1から、仮説が否定される

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