その株式配当は医術開業試験でないけど程良い
fact1: もしも「地図であるか身軽いかもしくは両方ともな」物があるとしたらこの検査者は程良い fact2: その株式配当は地図でない fact3: もし仮にこの検査者が程良いならばそのクアルティエ・シュッツエン・シュトラーセは程良い fact4: もし仮に「この検査者は程良い」ということは真実ならその株式配当は医術開業試験であるということはないがしかしそれは程良い fact5: そのクアルティエ・シュッツエン・シュトラーセは程良い fact6: そのクアルティエ・シュッツエン・シュトラーセは工夫出来るか程良い fact7: そのクアルティエ・シュッツエン・シュトラーセは工夫出来ないがしかし地図だ fact8: あらゆるものは身軽くない
fact7 -> int1: そのクアルティエ・シュッツエン・シュトラーセは地図だ; int1 -> int2: そのクアルティエ・シュッツエン・シュトラーセは地図であるかもしくは身軽い; int2 -> int3: なにがしかの物は地図であるかあるいは身軽いかあるいは両方である; int3 & fact1 -> int4: この検査者は程良い; int4 & fact4 -> hypothesis;
その株式配当は地図でないがしかしそれは陥る
$facts$ = fact1: もしも「地図であるか身軽いかもしくは両方ともな」物があるとしたらこの検査者は程良い fact2: その株式配当は地図でない fact3: もし仮にこの検査者が程良いならばそのクアルティエ・シュッツエン・シュトラーセは程良い fact4: もし仮に「この検査者は程良い」ということは真実ならその株式配当は医術開業試験であるということはないがしかしそれは程良い fact5: そのクアルティエ・シュッツエン・シュトラーセは程良い fact6: そのクアルティエ・シュッツエン・シュトラーセは工夫出来るか程良い fact7: そのクアルティエ・シュッツエン・シュトラーセは工夫出来ないがしかし地図だ fact8: あらゆるものは身軽くない ; $hypothesis$ = その株式配当は医術開業試験でないけど程良い ; $proof$ = 
fact7 -> int1: そのクアルティエ・シュッツエン・シュトラーセは地図だ; int1 -> int2: そのクアルティエ・シュッツエン・シュトラーセは地図であるかもしくは身軽い; int2 -> int3: なにがしかの物は地図であるかあるいは身軽いかあるいは両方である; int3 & fact1 -> int4: この検査者は程良い; int4 & fact4 -> hypothesis; __PROVED__
事実1: もしも「地図であるか身軽いかもしくは両方ともな」物があるとしたらこの検査者は程良い
事実2: その株式配当は地図でない
事実3: もし仮にこの検査者が程良いならばそのクアルティエ・シュッツエン・シュトラーセは程良い
事実4: もし仮に「この検査者は程良い」ということは真実ならその株式配当は医術開業試験であるということはないがしかしそれは程良い
事実5: そのクアルティエ・シュッツエン・シュトラーセは程良い
事実6: そのクアルティエ・シュッツエン・シュトラーセは工夫出来るか程良い
事実7: そのクアルティエ・シュッツエン・シュトラーセは工夫出来ないがしかし地図だ
事実8: あらゆるものは身軽くない

仮説: その株式配当は医術開業試験でないけど程良い
1. 事実7から、推論1: "そのクアルティエ・シュッツエン・シュトラーセは地図だ"が導かれる
2. 推論1から、推論2: "そのクアルティエ・シュッツエン・シュトラーセは地図であるかもしくは身軽い"が導かれる
3. 推論2から、推論3: "なにがしかの物は地図であるかあるいは身軽いかあるいは両方である"が導かれる
4. 推論3と事実1から、推論4: "この検査者は程良い"が導かれる
5. 推論4と事実4から、仮説が導かれる

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