この郵貯は計量化しない
fact1: もしこのカットグラスが御するとすれば職務執行である fact2: もしもこのカットグラスが出芽するなら職務執行だ fact3: 「この郵貯は出芽しない」ということは成り立つ fact4: このカットグラスは御するかまたは出芽するかあるいは両方ともだ fact5: なんらかの物は御しないなら「「それは出芽するししかも職務執行だ」ということは真実である」ということは成り立つということはない fact6: もし仮に「このＨＴＭＬメールは医師団でなくて結局だということはない」ということは間違いでないとしたらこの郵貯は計量化する fact7: もしも「「医師団でなくて結局でない」ということは成り立たない」ものがあるとしたらこのカットグラスは職務執行でない
void -> assump1: 以下のように仮定する。「このＨＴＭＬメールは医師団でなくてかつ結局でない」ということは偽だ; assump1 -> int1: 「「医師団でないし結局でない」ということは間違いな」ものはある; int1 & fact7 -> int2: このカットグラスは職務執行でない; fact1 & fact4 & fact2 -> int3: このカットグラスは職務執行である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＨＴＭＬメールは医師団でなくてかつそれは結局でない; int5 & fact6 -> hypothesis;
「この郵貯は計量化しない」ということは成り立つ
fact8 -> int6: この郵貯は御しないとすれば「それは出芽するしそれにそれは職務執行だ」ということは成り立たない;
$facts$ = fact1: もしこのカットグラスが御するとすれば職務執行である fact2: もしもこのカットグラスが出芽するなら職務執行だ fact3: 「この郵貯は出芽しない」ということは成り立つ fact4: このカットグラスは御するかまたは出芽するかあるいは両方ともだ fact5: なんらかの物は御しないなら「「それは出芽するししかも職務執行だ」ということは真実である」ということは成り立つということはない fact6: もし仮に「このＨＴＭＬメールは医師団でなくて結局だということはない」ということは間違いでないとしたらこの郵貯は計量化する fact7: もしも「「医師団でなくて結局でない」ということは成り立たない」ものがあるとしたらこのカットグラスは職務執行でない ; $hypothesis$ = この郵貯は計量化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このＨＴＭＬメールは医師団でなくてかつ結局でない」ということは偽だ; assump1 -> int1: 「「医師団でないし結局でない」ということは間違いな」ものはある; int1 & fact7 -> int2: このカットグラスは職務執行でない; fact1 & fact4 & fact2 -> int3: このカットグラスは職務執行である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＨＴＭＬメールは医師団でなくてかつそれは結局でない; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: もしこのカットグラスが御するとすれば職務執行である
事実2: もしもこのカットグラスが出芽するなら職務執行だ
事実3: 「この郵貯は出芽しない」ということは成り立つ
事実4: このカットグラスは御するかまたは出芽するかあるいは両方ともだ
事実5: なんらかの物は御しないなら「「それは出芽するししかも職務執行だ」ということは真実である」ということは成り立つということはない
事実6: もし仮に「このＨＴＭＬメールは医師団でなくて結局だということはない」ということは間違いでないとしたらこの郵貯は計量化する
事実7: もしも「「医師団でなくて結局でない」ということは成り立たない」ものがあるとしたらこのカットグラスは職務執行でない

仮説: この郵貯は計量化しない
1. 仮定1: 以下のように仮定する。「このＨＴＭＬメールは医師団でなくてかつ結局でない」ということは偽だ
2. 仮定1から、推論1: "「「医師団でないし結局でない」ということは間違いな」ものはある"が導かれる
3. 推論1と事実7から、推論2: "このカットグラスは職務執行でない"が導かれる
4. 事実1と事実4と事実2から、推論3: "このカットグラスは職務執行である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このＨＴＭＬメールは医師団でなくてかつそれは結局でない"が導かれる
7. 推論5と事実6から、仮説が否定される

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