この戦犯裁判は伝え合う
fact1: もし仮にこの戦犯裁判が根気良くないがそれは一足毎であるならば「その承認図は根気良くない」ということは真実だ fact2: この戦犯裁判は一足毎でない fact3: 仮に「根気良いか一足毎である」ものがあればこの戦犯裁判は伝え合わない fact4: なにがしかのものは治癒切除であるかあるいはＣＡ施用区であるか両方ともだ fact5: この戦犯裁判は根気良くない fact6: 「根気良いかまたは一足毎であるかもしくは両方である」物はある
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
その承認図は根気良いということはない
$facts$ = fact1: もし仮にこの戦犯裁判が根気良くないがそれは一足毎であるならば「その承認図は根気良くない」ということは真実だ fact2: この戦犯裁判は一足毎でない fact3: 仮に「根気良いか一足毎である」ものがあればこの戦犯裁判は伝え合わない fact4: なにがしかのものは治癒切除であるかあるいはＣＡ施用区であるか両方ともだ fact5: この戦犯裁判は根気良くない fact6: 「根気良いかまたは一足毎であるかもしくは両方である」物はある ; $hypothesis$ = この戦犯裁判は伝え合う ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの戦犯裁判が根気良くないがそれは一足毎であるならば「その承認図は根気良くない」ということは真実だ
事実2: この戦犯裁判は一足毎でない
事実3: 仮に「根気良いか一足毎である」ものがあればこの戦犯裁判は伝え合わない
事実4: なにがしかのものは治癒切除であるかあるいはＣＡ施用区であるか両方ともだ
事実5: この戦犯裁判は根気良くない
事実6: 「根気良いかまたは一足毎であるかもしくは両方である」物はある

仮説: この戦犯裁判は伝え合う
1. 事実6と事実3から、仮説が否定される

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