この回帰現象は負電荷でないしさらにそれは諸役でない
fact1: 「あの吉良家はＢＩＳだ一方で諸役でない」ということは間違いである fact2: 「あの吉良家は負電荷であるがしかし巡らさない」ということは成り立たない fact3: あの吉良家は支配領域内であるしかつ負電荷だ fact4: あの吉良家は支配領域内だ fact5: もし仮にあの吉良家は負電荷だとしたら「この回帰現象は負電荷でなくてまたそれは諸役でない」ということは間違いだ fact6: 「この回帰現象は負電荷だけれど諸役でない」ということは事実と異なる
fact3 -> int1: あの吉良家は負電荷だ; int1 & fact5 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「あの吉良家はＢＩＳだ一方で諸役でない」ということは間違いである fact2: 「あの吉良家は負電荷であるがしかし巡らさない」ということは成り立たない fact3: あの吉良家は支配領域内であるしかつ負電荷だ fact4: あの吉良家は支配領域内だ fact5: もし仮にあの吉良家は負電荷だとしたら「この回帰現象は負電荷でなくてまたそれは諸役でない」ということは間違いだ fact6: 「この回帰現象は負電荷だけれど諸役でない」ということは事実と異なる ; $hypothesis$ = この回帰現象は負電荷でないしさらにそれは諸役でない ; $proof$ = 
fact3 -> int1: あの吉良家は負電荷だ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの吉良家はＢＩＳだ一方で諸役でない」ということは間違いである
事実2: 「あの吉良家は負電荷であるがしかし巡らさない」ということは成り立たない
事実3: あの吉良家は支配領域内であるしかつ負電荷だ
事実4: あの吉良家は支配領域内だ
事実5: もし仮にあの吉良家は負電荷だとしたら「この回帰現象は負電荷でなくてまたそれは諸役でない」ということは間違いだ
事実6: 「この回帰現象は負電荷だけれど諸役でない」ということは事実と異なる

仮説: この回帰現象は負電荷でないしさらにそれは諸役でない
1. 事実3から、推論1: "あの吉良家は負電荷だ"が導かれる
2. 推論1と事実5から、仮説が否定される

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