「このアンチョビはノックアウトしない」ということは事実と異なるということはない
fact1: 「このアンチョビは形成され易くない」ということは真実だ fact2: 仮に何かは聞き届けなくてそれに形成され易くないとするとノックアウトする fact3: このアンチョビは聞き届けない fact4: もし仮にこの止血効果がノックアウトするならこのアンチョビはノックアウトしない fact5: 仮に「なにかは窪地であるかあるいは興奮し易い」ということは事実と異なるとするとそれは形成され易くない fact6: この総合病院は聞き届けない
fact3 & fact1 -> int1: このアンチョビは聞き届けないし形成され易くない; fact2 -> int2: もし仮にこのアンチョビは聞き届けないし加えて形成され易いということはないとするとそれはノックアウトする; int1 & int2 -> hypothesis;
あの拘束性はノックアウトする
fact7 -> int3: 仮に「あの拘束性は窪地であるかもしくはそれは興奮し易いかまたは両方だ」ということは嘘であるならそれは形成され易くない;
$facts$ = fact1: 「このアンチョビは形成され易くない」ということは真実だ fact2: 仮に何かは聞き届けなくてそれに形成され易くないとするとノックアウトする fact3: このアンチョビは聞き届けない fact4: もし仮にこの止血効果がノックアウトするならこのアンチョビはノックアウトしない fact5: 仮に「なにかは窪地であるかあるいは興奮し易い」ということは事実と異なるとするとそれは形成され易くない fact6: この総合病院は聞き届けない ; $hypothesis$ = 「このアンチョビはノックアウトしない」ということは事実と異なるということはない ; $proof$ = 
fact3 & fact1 -> int1: このアンチョビは聞き届けないし形成され易くない; fact2 -> int2: もし仮にこのアンチョビは聞き届けないし加えて形成され易いということはないとするとそれはノックアウトする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「このアンチョビは形成され易くない」ということは真実だ
事実2: 仮に何かは聞き届けなくてそれに形成され易くないとするとノックアウトする
事実3: このアンチョビは聞き届けない
事実4: もし仮にこの止血効果がノックアウトするならこのアンチョビはノックアウトしない
事実5: 仮に「なにかは窪地であるかあるいは興奮し易い」ということは事実と異なるとするとそれは形成され易くない
事実6: この総合病院は聞き届けない

仮説: 「このアンチョビはノックアウトしない」ということは事実と異なるということはない
1. 事実3と事実1から、推論1: "このアンチョビは聞き届けないし形成され易くない"が導かれる
2. 事実2から、推論2: "もし仮にこのアンチョビは聞き届けないし加えて形成され易いということはないとするとそれはノックアウトする"が導かれる
3. 推論1と推論2から、仮説が否定される

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