「「南流しないしＮＡＴだ」ということは間違いである」ものはある
fact1: 「「南流しないがしかし起き易い」ということは成り立たない」ものはある fact2: 「その自宅療養中は起き易い」ということは成り立つとすれば「この鳩派は南流しないがＮＡＴだ」ということは誤りだ fact3: もしその自宅療養中が起き易いけれど得難しということはないならこの先月は起き易くない fact4: もしも「その自宅療養中は起き易い」ということは成り立つとしたら「この鳩派は南流するしさらにＮＡＴである」ということは嘘である fact5: 仮に「この鳩派は腫れぼったい」ということは確かであるならばあの自宅療養中は起き易いがしかし得難しない fact6: もし仮になんらかのものは起き易いということはないならば「御身でないしＮＡＴである」ということは事実と異なる fact7: その自宅療養中は起き易い
fact2 & fact7 -> int1: 「「この鳩派は南流しない一方でＮＡＴである」ということは成り立たない」ということは成り立つ; int1 -> hypothesis;
fact2 & fact7 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
「この先月は御身でないけれどＮＡＴである」ということは正しくない
fact10 -> int2: もしこの先月は起き易くないとすれば「それは御身でない一方でＮＡＴである」ということは誤っている;
$facts$ = fact1: 「「南流しないがしかし起き易い」ということは成り立たない」ものはある fact2: 「その自宅療養中は起き易い」ということは成り立つとすれば「この鳩派は南流しないがＮＡＴだ」ということは誤りだ fact3: もしその自宅療養中が起き易いけれど得難しということはないならこの先月は起き易くない fact4: もしも「その自宅療養中は起き易い」ということは成り立つとしたら「この鳩派は南流するしさらにＮＡＴである」ということは嘘である fact5: 仮に「この鳩派は腫れぼったい」ということは確かであるならばあの自宅療養中は起き易いがしかし得難しない fact6: もし仮になんらかのものは起き易いということはないならば「御身でないしＮＡＴである」ということは事実と異なる fact7: その自宅療養中は起き易い ; $hypothesis$ = 「「南流しないしＮＡＴだ」ということは間違いである」ものはある ; $proof$ = 
fact2 & fact7 -> int1: 「「この鳩派は南流しない一方でＮＡＴである」ということは成り立たない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「「南流しないがしかし起き易い」ということは成り立たない」ものはある
事実2: 「その自宅療養中は起き易い」ということは成り立つとすれば「この鳩派は南流しないがＮＡＴだ」ということは誤りだ
事実3: もしその自宅療養中が起き易いけれど得難しということはないならこの先月は起き易くない
事実4: もしも「その自宅療養中は起き易い」ということは成り立つとしたら「この鳩派は南流するしさらにＮＡＴである」ということは嘘である
事実5: 仮に「この鳩派は腫れぼったい」ということは確かであるならばあの自宅療養中は起き易いがしかし得難しない
事実6: もし仮になんらかのものは起き易いということはないならば「御身でないしＮＡＴである」ということは事実と異なる
事実7: その自宅療養中は起き易い

仮説: 「「南流しないしＮＡＴだ」ということは間違いである」ものはある
1. 事実2と事実7から、推論1: "「「この鳩派は南流しない一方でＮＡＴである」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。