その千九百九十九Ｃは固し
fact1: もし仮に「この運用指図者は約束するということはないけどそれは講義録である」ということは成り立たないとすればその漢土は輪郭付けない fact2: もしもこの運用指図者が約束するとするとその漢土は輪郭付けない fact3: その漢土が輪郭付けるということはないとすればあの千九百九十九Ｃは輪郭付ける fact4: 「この運用指図者は約束するしそれに講義録だ」ということは確かでない fact5: もし仮に「その漢土は約束しない一方で講義録である」ということは成り立たないならこの運用指図者は輪郭付けない fact6: もし仮にとあるものは輪郭付けないとすれば「「上方で講義録だ」ということは成り立つ」ということは成り立たない fact7: その漢土は情けないしまた読み熟す fact8: 仮にその漢土が輪郭付けないならばその千九百九十九Ｃは固しししかもそれは輪郭付ける fact9: もしこの運用指図者が上方であるならその千九百九十九Ｃは固しない fact10: 「この運用指図者は約束しないがそれは講義録だ」ということは成り立たない fact11: その千九百九十九Ｃは輪郭付ける
fact1 & fact10 -> int1: その漢土は輪郭付けるということはない; int1 & fact8 -> int2: その千九百九十九Ｃは固ししまた輪郭付ける; int2 -> hypothesis;
その胡瓜葱は講義録でない
fact12 -> int3: もし仮にこの運用指図者は輪郭付けないならば「それは上方であるし更に講義録である」ということは事実と異なる;
$facts$ = fact1: もし仮に「この運用指図者は約束するということはないけどそれは講義録である」ということは成り立たないとすればその漢土は輪郭付けない fact2: もしもこの運用指図者が約束するとするとその漢土は輪郭付けない fact3: その漢土が輪郭付けるということはないとすればあの千九百九十九Ｃは輪郭付ける fact4: 「この運用指図者は約束するしそれに講義録だ」ということは確かでない fact5: もし仮に「その漢土は約束しない一方で講義録である」ということは成り立たないならこの運用指図者は輪郭付けない fact6: もし仮にとあるものは輪郭付けないとすれば「「上方で講義録だ」ということは成り立つ」ということは成り立たない fact7: その漢土は情けないしまた読み熟す fact8: 仮にその漢土が輪郭付けないならばその千九百九十九Ｃは固しししかもそれは輪郭付ける fact9: もしこの運用指図者が上方であるならその千九百九十九Ｃは固しない fact10: 「この運用指図者は約束しないがそれは講義録だ」ということは成り立たない fact11: その千九百九十九Ｃは輪郭付ける ; $hypothesis$ = その千九百九十九Ｃは固し ; $proof$ = 
fact1 & fact10 -> int1: その漢土は輪郭付けるということはない; int1 & fact8 -> int2: その千九百九十九Ｃは固ししまた輪郭付ける; int2 -> hypothesis; __PROVED__
事実1: もし仮に「この運用指図者は約束するということはないけどそれは講義録である」ということは成り立たないとすればその漢土は輪郭付けない
事実2: もしもこの運用指図者が約束するとするとその漢土は輪郭付けない
事実3: その漢土が輪郭付けるということはないとすればあの千九百九十九Ｃは輪郭付ける
事実4: 「この運用指図者は約束するしそれに講義録だ」ということは確かでない
事実5: もし仮に「その漢土は約束しない一方で講義録である」ということは成り立たないならこの運用指図者は輪郭付けない
事実6: もし仮にとあるものは輪郭付けないとすれば「「上方で講義録だ」ということは成り立つ」ということは成り立たない
事実7: その漢土は情けないしまた読み熟す
事実8: 仮にその漢土が輪郭付けないならばその千九百九十九Ｃは固しししかもそれは輪郭付ける
事実9: もしこの運用指図者が上方であるならその千九百九十九Ｃは固しない
事実10: 「この運用指図者は約束しないがそれは講義録だ」ということは成り立たない
事実11: その千九百九十九Ｃは輪郭付ける

仮説: その千九百九十九Ｃは固し
1. 事実1と事実10から、推論1: "その漢土は輪郭付けるということはない"が導かれる
2. 推論1と事実8から、推論2: "その千九百九十九Ｃは固ししまた輪郭付ける"が導かれる
3. 推論2から、仮説が導かれる

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