その着艦は取れ易い
fact1: 「「あの中高年層は軽々しいけど例外無くない」ということは真実だ」ということは誤りだ fact2: もしもその着艦は取れ易くないなら「あの中高年層は軽々しいが例外無くない」ということは間違いだ fact3: 仮に「「あの中高年層は紳士らしいということはないがしかし分かり辛い」ということは成り立つ」ということは成り立たないとするとその着艦は取れ易くない fact4: 「あの中高年層は軽々しかないがしかし例外無い」ということは成り立たない fact5: もしその着艦は取れ易いということはないとすれば「あの中高年層は軽々しいということはないし加えて例外無くない」ということは成り立つということはない fact6: もしその着艦は取れ易くないなら「あの中高年層は軽々しかないが例外無い」ということは誤っている fact7: もし何かはいちゃつくとすれば「「それは紳士らしくないけれど分かり辛い」ということは事実だ」ということは成り立たない fact8: あの中高年層が軽々しかないしその上例外無くない
void -> assump1: 以下のように仮定する。「その着艦は取れ易くない」ということは成り立つ; fact5 & assump1 -> int1: 「あの中高年層は軽々しかなくておまけに例外無いということはない」ということは成り立つということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その着艦は取れ易くない
fact10 -> int3: もし仮にあの中高年層はいちゃつくなら「それは紳士らしくないけれど分かり辛い」ということは本当でない;
$facts$ = fact1: 「「あの中高年層は軽々しいけど例外無くない」ということは真実だ」ということは誤りだ fact2: もしもその着艦は取れ易くないなら「あの中高年層は軽々しいが例外無くない」ということは間違いだ fact3: 仮に「「あの中高年層は紳士らしいということはないがしかし分かり辛い」ということは成り立つ」ということは成り立たないとするとその着艦は取れ易くない fact4: 「あの中高年層は軽々しかないがしかし例外無い」ということは成り立たない fact5: もしその着艦は取れ易いということはないとすれば「あの中高年層は軽々しいということはないし加えて例外無くない」ということは成り立つということはない fact6: もしその着艦は取れ易くないなら「あの中高年層は軽々しかないが例外無い」ということは誤っている fact7: もし何かはいちゃつくとすれば「「それは紳士らしくないけれど分かり辛い」ということは事実だ」ということは成り立たない fact8: あの中高年層が軽々しかないしその上例外無くない ; $hypothesis$ = その着艦は取れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その着艦は取れ易くない」ということは成り立つ; fact5 & assump1 -> int1: 「あの中高年層は軽々しかなくておまけに例外無いということはない」ということは成り立つということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「「あの中高年層は軽々しいけど例外無くない」ということは真実だ」ということは誤りだ
事実2: もしもその着艦は取れ易くないなら「あの中高年層は軽々しいが例外無くない」ということは間違いだ
事実3: 仮に「「あの中高年層は紳士らしいということはないがしかし分かり辛い」ということは成り立つ」ということは成り立たないとするとその着艦は取れ易くない
事実4: 「あの中高年層は軽々しかないがしかし例外無い」ということは成り立たない
事実5: もしその着艦は取れ易いということはないとすれば「あの中高年層は軽々しいということはないし加えて例外無くない」ということは成り立つということはない
事実6: もしその着艦は取れ易くないなら「あの中高年層は軽々しかないが例外無い」ということは誤っている
事実7: もし何かはいちゃつくとすれば「「それは紳士らしくないけれど分かり辛い」ということは事実だ」ということは成り立たない
事実8: あの中高年層が軽々しかないしその上例外無くない

仮説: その着艦は取れ易い
1. 仮定1: 以下のように仮定する。「その着艦は取れ易くない」ということは成り立つ
2. 事実5と仮定1から、推論1: "「あの中高年層は軽々しかなくておまけに例外無いということはない」ということは成り立つということはない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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