このピクセル単位は拒否し続けるということはないしかつ挟まらない
fact1: その巣マットは御取り下さる fact2: もしこの視細胞が左手人差し指でないとすればこのピクセル単位は拒否し続けなくてそれは挟まらない fact3: 「とある物は新四軍でないし加えて言い易くない」ということは成り立たないならそれは拒否し続けない fact4: この視細胞が御取り下さるとすると左手人差し指でない fact5: ある物が御取り下されば挟まる fact6: この視細胞は御取り下さる
fact4 & fact6 -> int1: この視細胞は左手人差し指でない; int1 & fact2 -> hypothesis;
fact4 & fact6 -> int1: ¬{B}{a}; int1 & fact2 -> hypothesis;
その収支状況は挟まる
fact8 -> int2: 「その収支状況は御取り下さる」ということは本当であるとするとそれは挟まる; fact7 -> int3: もし「その収支状況は新四軍でないし言い易くない」ということは間違いであるとしたら拒否し続けない;
$facts$ = fact1: その巣マットは御取り下さる fact2: もしこの視細胞が左手人差し指でないとすればこのピクセル単位は拒否し続けなくてそれは挟まらない fact3: 「とある物は新四軍でないし加えて言い易くない」ということは成り立たないならそれは拒否し続けない fact4: この視細胞が御取り下さるとすると左手人差し指でない fact5: ある物が御取り下されば挟まる fact6: この視細胞は御取り下さる ; $hypothesis$ = このピクセル単位は拒否し続けるということはないしかつ挟まらない ; $proof$ = 
fact4 & fact6 -> int1: この視細胞は左手人差し指でない; int1 & fact2 -> hypothesis; __PROVED__
事実1: その巣マットは御取り下さる
事実2: もしこの視細胞が左手人差し指でないとすればこのピクセル単位は拒否し続けなくてそれは挟まらない
事実3: 「とある物は新四軍でないし加えて言い易くない」ということは成り立たないならそれは拒否し続けない
事実4: この視細胞が御取り下さるとすると左手人差し指でない
事実5: ある物が御取り下されば挟まる
事実6: この視細胞は御取り下さる

仮説: このピクセル単位は拒否し続けるということはないしかつ挟まらない
1. 事実4と事実6から、推論1: "この視細胞は左手人差し指でない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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