「「もしも貧しいなら「うっとりしなくてまたみっともないということはない」ということは誤りである」物はある」ということは間違いだ
fact1: もしとある物は貧しいとしたら「うっとりしなくてみっともなくない」ということは嘘だ fact2: もしもなんらかのものは漏れ無いとすると「それはやんごとなくなくて加えて差し出さない」ということは誤りだ fact3: もし仮にとある物は調理実習であるとすると「差し出さなくてその上御披露目しない」ということは嘘だ fact4: 「貧しいならば「うっとりしないしまたみっともない」ということは間違っている」物はある
fact1 -> int1: あの御人は貧しいなら「それはうっとりしないしその上みっともなくない」ということは成り立たない; int1 -> hypothesis;
「仮に「漏れ無い」ということは成り立つとすれば「やんごとなくなくて差し出さない」ということは成り立つということはない」物はある
fact5 -> int2: もしそのフロージェットグラニュレータは漏れ無いなら「やんごとなくなくておまけにそれは差し出さない」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: もしとある物は貧しいとしたら「うっとりしなくてみっともなくない」ということは嘘だ fact2: もしもなんらかのものは漏れ無いとすると「それはやんごとなくなくて加えて差し出さない」ということは誤りだ fact3: もし仮にとある物は調理実習であるとすると「差し出さなくてその上御披露目しない」ということは嘘だ fact4: 「貧しいならば「うっとりしないしまたみっともない」ということは間違っている」物はある ; $hypothesis$ = 「「もしも貧しいなら「うっとりしなくてまたみっともないということはない」ということは誤りである」物はある」ということは間違いだ ; $proof$ = 
fact1 -> int1: あの御人は貧しいなら「それはうっとりしないしその上みっともなくない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もしとある物は貧しいとしたら「うっとりしなくてみっともなくない」ということは嘘だ
事実2: もしもなんらかのものは漏れ無いとすると「それはやんごとなくなくて加えて差し出さない」ということは誤りだ
事実3: もし仮にとある物は調理実習であるとすると「差し出さなくてその上御披露目しない」ということは嘘だ
事実4: 「貧しいならば「うっとりしないしまたみっともない」ということは間違っている」物はある

仮説: 「「もしも貧しいなら「うっとりしなくてまたみっともないということはない」ということは誤りである」物はある」ということは間違いだ
1. 事実1から、推論1: "あの御人は貧しいなら「それはうっとりしないしその上みっともなくない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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