もしその終わり頃はスーパーセットでないとしたら「その地理的移動は古臭くないがそれは厭わしい」ということは成り立たない
fact1: もし仮にその終わり頃が御曹司ならばこの総評は御曹司でない fact2: 仮に何かは品評会でないとしたら期間内で加えて御曹司だ fact3: もし仮に「その地理的移動は百万都市でない一方でそれは記録化だ」ということは誤りであるとすればその終わり頃は品評会でない fact4: もし仮にとある物が御曹司でないならばそれは古臭いしさらにスーパーセットである fact5: 仮にその終わり頃がスーパーセットであるということはないならこの総評は温室であるし加えて厭わしい fact6: その終わり頃がスーパーセットであるならばこの総評は温室だし厭わしい fact7: 仮に「この総評は厭わしい」ということは事実であるとすれば「「その地理的移動は古臭くない一方でそれは厭わしい」ということは成り立つ」ということは間違いである
void -> assump1: 以下のように仮定する。その終わり頃はスーパーセットでない; fact5 & assump1 -> int1: この総評は温室でしかも厭わしい; int1 -> int2: この総評は厭わしい; int2 & fact7 -> int3: 「その地理的移動は古臭くないけど厭わしい」ということは偽である; [assump1] & int3 -> hypothesis;
この総評は古臭い
fact10 -> int4: もし「この総評は御曹司でない」ということは真実であるとすればそれは古臭くて更にそれはスーパーセットだ; fact9 -> int5: もしもその終わり頃が品評会でないならそれは期間内であるししかもそれは御曹司だ;
$facts$ = fact1: もし仮にその終わり頃が御曹司ならばこの総評は御曹司でない fact2: 仮に何かは品評会でないとしたら期間内で加えて御曹司だ fact3: もし仮に「その地理的移動は百万都市でない一方でそれは記録化だ」ということは誤りであるとすればその終わり頃は品評会でない fact4: もし仮にとある物が御曹司でないならばそれは古臭いしさらにスーパーセットである fact5: 仮にその終わり頃がスーパーセットであるということはないならこの総評は温室であるし加えて厭わしい fact6: その終わり頃がスーパーセットであるならばこの総評は温室だし厭わしい fact7: 仮に「この総評は厭わしい」ということは事実であるとすれば「「その地理的移動は古臭くない一方でそれは厭わしい」ということは成り立つ」ということは間違いである ; $hypothesis$ = もしその終わり頃はスーパーセットでないとしたら「その地理的移動は古臭くないがそれは厭わしい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その終わり頃はスーパーセットでない; fact5 & assump1 -> int1: この総評は温室でしかも厭わしい; int1 -> int2: この総評は厭わしい; int2 & fact7 -> int3: 「その地理的移動は古臭くないけど厭わしい」ということは偽である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にその終わり頃が御曹司ならばこの総評は御曹司でない
事実2: 仮に何かは品評会でないとしたら期間内で加えて御曹司だ
事実3: もし仮に「その地理的移動は百万都市でない一方でそれは記録化だ」ということは誤りであるとすればその終わり頃は品評会でない
事実4: もし仮にとある物が御曹司でないならばそれは古臭いしさらにスーパーセットである
事実5: 仮にその終わり頃がスーパーセットであるということはないならこの総評は温室であるし加えて厭わしい
事実6: その終わり頃がスーパーセットであるならばこの総評は温室だし厭わしい
事実7: 仮に「この総評は厭わしい」ということは事実であるとすれば「「その地理的移動は古臭くない一方でそれは厭わしい」ということは成り立つ」ということは間違いである

仮説: もしその終わり頃はスーパーセットでないとしたら「その地理的移動は古臭くないがそれは厭わしい」ということは成り立たない
1. 仮定1: 以下のように仮定する。その終わり頃はスーパーセットでない
2. 事実5と仮定1から、推論1: "この総評は温室でしかも厭わしい"が導かれる
3. 推論1から、推論2: "この総評は厭わしい"が導かれる
4. 推論2と事実7から、推論3: "「その地理的移動は古臭くないけど厭わしい」ということは偽である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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