この共同利益は素粒子である
fact1: もし仮に「元参謀総長であるということはないしまた病因論でない」物があればこの共同利益は素粒子でない fact2: 「元参謀総長であるということはない」物はある fact3: ある物は元参謀総長でないしおまけに病因論でない fact4: 「「あの発表内容は病因論であるがはじかみでない」ということは間違っている」ということは真実であるならその裁判員は病因論でない fact5: もしその裁判員が素粒子ならばこの共同利益は素粒子だ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この共同利益は素粒子である
$facts$ = fact1: もし仮に「元参謀総長であるということはないしまた病因論でない」物があればこの共同利益は素粒子でない fact2: 「元参謀総長であるということはない」物はある fact3: ある物は元参謀総長でないしおまけに病因論でない fact4: 「「あの発表内容は病因論であるがはじかみでない」ということは間違っている」ということは真実であるならその裁判員は病因論でない fact5: もしその裁判員が素粒子ならばこの共同利益は素粒子だ ; $hypothesis$ = この共同利益は素粒子である ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「元参謀総長であるということはないしまた病因論でない」物があればこの共同利益は素粒子でない
事実2: 「元参謀総長であるということはない」物はある
事実3: ある物は元参謀総長でないしおまけに病因論でない
事実4: 「「あの発表内容は病因論であるがはじかみでない」ということは間違っている」ということは真実であるならその裁判員は病因論でない
事実5: もしその裁判員が素粒子ならばこの共同利益は素粒子だ

仮説: この共同利益は素粒子である
1. 事実3と事実1から、仮説が否定される

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