その深化は脱げる
fact1: あのポインツは居座り続ける fact2: 「あのポインツは四十一参照だがそれは居座り続けない」ということは成り立たないとすればその深化は脱げる fact3: あのポインツは四十一参照である
void -> assump1: 以下のように仮定する。あのポインツは四十一参照であるけど居座り続けるということはない; assump1 -> int1: あのポインツは居座り続けない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのポインツは四十一参照だが居座り続けない」ということは誤りだ; int3 & fact2 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis;
$facts$ = fact1: あのポインツは居座り続ける fact2: 「あのポインツは四十一参照だがそれは居座り続けない」ということは成り立たないとすればその深化は脱げる fact3: あのポインツは四十一参照である ; $hypothesis$ = その深化は脱げる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのポインツは四十一参照であるけど居座り続けるということはない; assump1 -> int1: あのポインツは居座り続けない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのポインツは四十一参照だが居座り続けない」ということは誤りだ; int3 & fact2 -> hypothesis; __PROVED__
事実1: あのポインツは居座り続ける
事実2: 「あのポインツは四十一参照だがそれは居座り続けない」ということは成り立たないとすればその深化は脱げる
事実3: あのポインツは四十一参照である

仮説: その深化は脱げる
1. 仮定1: 以下のように仮定する。あのポインツは四十一参照であるけど居座り続けるということはない
2. 仮定1から、推論1: "あのポインツは居座り続けない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あのポインツは四十一参照だが居座り続けない」ということは誤りだ"が導かれる
5. 推論3と事実2から、仮説が導かれる

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