「とあるものは迎えるということはなくてそれはレギュラーコースだということはない」ということは成り立たない
fact1: もしなんらかの物は来たるかもしくは賢いかもしくは両方ともであるならば「取れ易くない」ということは確かである fact2: この客人達が取れ易くないならあのタキシードは迎えないしそれにレギュラーコースでない fact3: 「その著者等は来たるないけど晴々しい」ということは偽である fact4: もしも「「心置き無くないがしかし晴々しい」ということは成り立たない」ものがあるならこの客人達は賢い fact5: 「その著者等は心置き無いということはないけど晴々しい」ということは成り立つということはない fact6: 仮にこの客人達が来たるとすれば取れ易くない
fact5 -> int1: 「「心置き無くないがしかし晴々しい」ということは誤りである」ものはある; int1 & fact4 -> int2: 「この客人達は賢い」ということは成り立つ; int2 -> int3: この客人達は来たるかあるいは賢いかもしくはどちらもである; fact1 -> int4: もしこの客人達は来たるか賢いかあるいは両方であるとしたら取れ易くない; int3 & int4 -> int5: この客人達は取れ易くない; int5 & fact2 -> int6: あのタキシードは迎えないしそれはレギュラーコースでない; int6 -> hypothesis;
$facts$ = fact1: もしなんらかの物は来たるかもしくは賢いかもしくは両方ともであるならば「取れ易くない」ということは確かである fact2: この客人達が取れ易くないならあのタキシードは迎えないしそれにレギュラーコースでない fact3: 「その著者等は来たるないけど晴々しい」ということは偽である fact4: もしも「「心置き無くないがしかし晴々しい」ということは成り立たない」ものがあるならこの客人達は賢い fact5: 「その著者等は心置き無いということはないけど晴々しい」ということは成り立つということはない fact6: 仮にこの客人達が来たるとすれば取れ易くない ; $hypothesis$ = 「とあるものは迎えるということはなくてそれはレギュラーコースだということはない」ということは成り立たない ; $proof$ = 
fact5 -> int1: 「「心置き無くないがしかし晴々しい」ということは誤りである」ものはある; int1 & fact4 -> int2: 「この客人達は賢い」ということは成り立つ; int2 -> int3: この客人達は来たるかあるいは賢いかもしくはどちらもである; fact1 -> int4: もしこの客人達は来たるか賢いかあるいは両方であるとしたら取れ易くない; int3 & int4 -> int5: この客人達は取れ易くない; int5 & fact2 -> int6: あのタキシードは迎えないしそれはレギュラーコースでない; int6 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は来たるかもしくは賢いかもしくは両方ともであるならば「取れ易くない」ということは確かである
事実2: この客人達が取れ易くないならあのタキシードは迎えないしそれにレギュラーコースでない
事実3: 「その著者等は来たるないけど晴々しい」ということは偽である
事実4: もしも「「心置き無くないがしかし晴々しい」ということは成り立たない」ものがあるならこの客人達は賢い
事実5: 「その著者等は心置き無いということはないけど晴々しい」ということは成り立つということはない
事実6: 仮にこの客人達が来たるとすれば取れ易くない

仮説: 「とあるものは迎えるということはなくてそれはレギュラーコースだということはない」ということは成り立たない
1. 事実5から、推論1: "「「心置き無くないがしかし晴々しい」ということは誤りである」ものはある"が導かれる
2. 推論1と事実4から、推論2: "「この客人達は賢い」ということは成り立つ"が導かれる
3. 推論2から、推論3: "この客人達は来たるかあるいは賢いかもしくはどちらもである"が導かれる
4. 事実1から、推論4: "もしこの客人達は来たるか賢いかあるいは両方であるとしたら取れ易くない"が導かれる
5. 推論3と推論4から、推論5: "この客人達は取れ易くない"が導かれる
6. 推論5と事実2から、推論6: "あのタキシードは迎えないしそれはレギュラーコースでない"が導かれる
7. 推論6から、仮説が否定される

よって、仮説が否定されました。