「そのダンスタンは悔いない」ということは事実である
fact1: もしも「その英独仏は御恥ずかしくないしさらに絶対的優位でない」ということは成り立つということはないとすればあの喫煙マナーは拝聴するということはない fact2: そのダンスタンは絶対的優位でない fact3: 「その喫煙マナーは絶対的優位だがしかし悔いない」ということは嘘だ fact4: 仮にその喫煙マナーが御恥ずかしいとしたらそのダンスタンは悔いない fact5: 「もし仮に「その英独仏は生活形式でない」ということは事実だとすると「その随行者は平ったくなくてそれに感覚しない」ということは誤りである」ということは真実である fact6: もしも「その英独仏は拝聴するということはないしかつそれは利き難いということはない」ということは成り立たないならその喫煙マナーは絶対的優位でない fact7: もし「その英独仏は利き難い」ということは正しいならばその喫煙マナーは絶対的優位でない fact8: 仮に何かは絶対的優位でないとしたら「御恥ずかしいし加えて生活形式である」ということは偽だ fact9: もし「その喫煙マナーは御恥ずかしくないけど生活形式だ」ということは誤りであるならそのダンスタンは悔いない fact10: もしその喫煙マナーが御恥ずかしいなら絶対的優位だ fact11: 「「「その喫煙マナーは絶対的優位でなくて加えてそれは悔いない」ということは成り立つ」ということは誤っている」ということは本当である fact12: 仮にその喫煙マナーは絶対的優位ならば「「その英独仏は悔いないしまた生活形式でない」ということは確かである」ということは成り立たない fact13: 「その英独仏は拝聴しない一方で利き難い」ということは間違いである fact14: もしもなにかは絶対的優位でないなら「それは御恥ずかしくない生活形式だ」ということは本当でない fact15: 「その喫煙マナーは御恥ずかしくてさらにそれは生活形式である」ということは間違っている fact16: 「その英独仏は拝聴しなくてその上利き難くない」ということは成り立たない fact17: もしもその喫煙マナーは絶対的優位だということはないとしたら「それは御恥ずかしくて生活形式だ」ということは成り立たない fact18: もし「あるものは御恥ずかしくないがしかし平ったい」ということは嘘であるとするとそれは御恥ずかしい
fact6 & fact16 -> int1: その喫煙マナーは絶対的優位であるということはない; fact14 -> int2: 仮にその喫煙マナーは絶対的優位でないとしたら「御恥ずかしいということはないが生活形式だ」ということは嘘だ; int1 & int2 -> int3: 「その喫煙マナーは御恥ずかしくないが生活形式だ」ということは事実と異なる; int3 & fact9 -> hypothesis;
fact6 & fact16 -> int1: ¬{B}{b}; fact14 -> int2: ¬{B}{b} -> ¬(¬{C}{b} & {A}{b}); int1 & int2 -> int3: ¬(¬{C}{b} & {A}{b}); int3 & fact9 -> hypothesis;
そのダンスタンは悔いる
fact21 -> int4: 「その喫煙マナーは御恥ずかしいということはないが平ったい」ということは確かでないとすると御恥ずかしい;
$facts$ = fact1: もしも「その英独仏は御恥ずかしくないしさらに絶対的優位でない」ということは成り立つということはないとすればあの喫煙マナーは拝聴するということはない fact2: そのダンスタンは絶対的優位でない fact3: 「その喫煙マナーは絶対的優位だがしかし悔いない」ということは嘘だ fact4: 仮にその喫煙マナーが御恥ずかしいとしたらそのダンスタンは悔いない fact5: 「もし仮に「その英独仏は生活形式でない」ということは事実だとすると「その随行者は平ったくなくてそれに感覚しない」ということは誤りである」ということは真実である fact6: もしも「その英独仏は拝聴するということはないしかつそれは利き難いということはない」ということは成り立たないならその喫煙マナーは絶対的優位でない fact7: もし「その英独仏は利き難い」ということは正しいならばその喫煙マナーは絶対的優位でない fact8: 仮に何かは絶対的優位でないとしたら「御恥ずかしいし加えて生活形式である」ということは偽だ fact9: もし「その喫煙マナーは御恥ずかしくないけど生活形式だ」ということは誤りであるならそのダンスタンは悔いない fact10: もしその喫煙マナーが御恥ずかしいなら絶対的優位だ fact11: 「「「その喫煙マナーは絶対的優位でなくて加えてそれは悔いない」ということは成り立つ」ということは誤っている」ということは本当である fact12: 仮にその喫煙マナーは絶対的優位ならば「「その英独仏は悔いないしまた生活形式でない」ということは確かである」ということは成り立たない fact13: 「その英独仏は拝聴しない一方で利き難い」ということは間違いである fact14: もしもなにかは絶対的優位でないなら「それは御恥ずかしくない生活形式だ」ということは本当でない fact15: 「その喫煙マナーは御恥ずかしくてさらにそれは生活形式である」ということは間違っている fact16: 「その英独仏は拝聴しなくてその上利き難くない」ということは成り立たない fact17: もしもその喫煙マナーは絶対的優位だということはないとしたら「それは御恥ずかしくて生活形式だ」ということは成り立たない fact18: もし「あるものは御恥ずかしくないがしかし平ったい」ということは嘘であるとするとそれは御恥ずかしい ; $hypothesis$ = 「そのダンスタンは悔いない」ということは事実である ; $proof$ = 
fact6 & fact16 -> int1: その喫煙マナーは絶対的優位であるということはない; fact14 -> int2: 仮にその喫煙マナーは絶対的優位でないとしたら「御恥ずかしいということはないが生活形式だ」ということは嘘だ; int1 & int2 -> int3: 「その喫煙マナーは御恥ずかしくないが生活形式だ」ということは事実と異なる; int3 & fact9 -> hypothesis; __PROVED__
事実1: もしも「その英独仏は御恥ずかしくないしさらに絶対的優位でない」ということは成り立つということはないとすればあの喫煙マナーは拝聴するということはない
事実2: そのダンスタンは絶対的優位でない
事実3: 「その喫煙マナーは絶対的優位だがしかし悔いない」ということは嘘だ
事実4: 仮にその喫煙マナーが御恥ずかしいとしたらそのダンスタンは悔いない
事実5: 「もし仮に「その英独仏は生活形式でない」ということは事実だとすると「その随行者は平ったくなくてそれに感覚しない」ということは誤りである」ということは真実である
事実6: もしも「その英独仏は拝聴するということはないしかつそれは利き難いということはない」ということは成り立たないならその喫煙マナーは絶対的優位でない
事実7: もし「その英独仏は利き難い」ということは正しいならばその喫煙マナーは絶対的優位でない
事実8: 仮に何かは絶対的優位でないとしたら「御恥ずかしいし加えて生活形式である」ということは偽だ
事実9: もし「その喫煙マナーは御恥ずかしくないけど生活形式だ」ということは誤りであるならそのダンスタンは悔いない
事実10: もしその喫煙マナーが御恥ずかしいなら絶対的優位だ
事実11: 「「「その喫煙マナーは絶対的優位でなくて加えてそれは悔いない」ということは成り立つ」ということは誤っている」ということは本当である
事実12: 仮にその喫煙マナーは絶対的優位ならば「「その英独仏は悔いないしまた生活形式でない」ということは確かである」ということは成り立たない
事実13: 「その英独仏は拝聴しない一方で利き難い」ということは間違いである
事実14: もしもなにかは絶対的優位でないなら「それは御恥ずかしくない生活形式だ」ということは本当でない
事実15: 「その喫煙マナーは御恥ずかしくてさらにそれは生活形式である」ということは間違っている
事実16: 「その英独仏は拝聴しなくてその上利き難くない」ということは成り立たない
事実17: もしもその喫煙マナーは絶対的優位だということはないとしたら「それは御恥ずかしくて生活形式だ」ということは成り立たない
事実18: もし「あるものは御恥ずかしくないがしかし平ったい」ということは嘘であるとするとそれは御恥ずかしい

仮説: 「そのダンスタンは悔いない」ということは事実である
1. 事実6と事実16から、推論1: "その喫煙マナーは絶対的優位であるということはない"が導かれる
2. 事実14から、推論2: "仮にその喫煙マナーは絶対的優位でないとしたら「御恥ずかしいということはないが生活形式だ」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "「その喫煙マナーは御恥ずかしくないが生活形式だ」ということは事実と異なる"が導かれる
4. 推論3と事実9から、仮説が導かれる

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