「「その糞餓鬼は珍品でないしおまけに険しかない」ということは成り立たない」ということは成り立つ
fact1: もし仮になんらかの物はマヤライヤガでないなら珍品でなくておまけに険しかない fact2: ある物はマヤライヤガであるとすると「それは珍品であるということはないし険しかない」ということは成り立たない fact3: もしも「何らかのものは弱くないけれど勇ましい」ということは成り立たないとしたら突発する fact4: 仮に「何らかの物は想定し難くないけれどそれはみっともない」ということは偽であるとしたらマヤライヤガでない fact5: 観察し易くないものが荒っぽくないとするとマヤライヤガである fact6: その糞餓鬼は観察し易い fact7: もし何かは突発すれば「それは観察し易くないしまたそれは荒っぽくない」ということは事実である fact8: もしその糞餓鬼は観察し易いならば「それは想定し難くないがしかしみっともない」ということは本当であるということはない fact9: もし何らかのものがみっともないということはないならそれは想定し難くないし観察し易くない
fact4 -> int1: もしも「その糞餓鬼は想定し難いということはない一方でみっともない」ということは成り立たないとしたらマヤライヤガでない; fact8 & fact6 -> int2: 「その糞餓鬼は想定し難くないがしかしみっともない」ということは成り立たない; int1 & int2 -> int3: その糞餓鬼はマヤライヤガでない; fact1 -> int4: 仮にその糞餓鬼がマヤライヤガでないとすれば珍品でないしまた険しかない; int3 & int4 -> hypothesis;
「その糞餓鬼は珍品でなくてそれは険しかない」ということは偽である
fact11 -> int5: もしその糞餓鬼はマヤライヤガだとしたら「それは珍品でなくて険しかない」ということは本当でない; fact10 -> int6: もしもその糞餓鬼が観察し易くないししかも荒っぽくないならばそれはマヤライヤガである; fact12 -> int7: もしもその糞餓鬼が突発すればそれは観察し易いということはなくてまたそれは荒っぽいということはない; fact13 -> int8: 「その糞餓鬼は弱くない一方で勇ましい」ということは間違いであるとすれば突発する;
$facts$ = fact1: もし仮になんらかの物はマヤライヤガでないなら珍品でなくておまけに険しかない fact2: ある物はマヤライヤガであるとすると「それは珍品であるということはないし険しかない」ということは成り立たない fact3: もしも「何らかのものは弱くないけれど勇ましい」ということは成り立たないとしたら突発する fact4: 仮に「何らかの物は想定し難くないけれどそれはみっともない」ということは偽であるとしたらマヤライヤガでない fact5: 観察し易くないものが荒っぽくないとするとマヤライヤガである fact6: その糞餓鬼は観察し易い fact7: もし何かは突発すれば「それは観察し易くないしまたそれは荒っぽくない」ということは事実である fact8: もしその糞餓鬼は観察し易いならば「それは想定し難くないがしかしみっともない」ということは本当であるということはない fact9: もし何らかのものがみっともないということはないならそれは想定し難くないし観察し易くない ; $hypothesis$ = 「「その糞餓鬼は珍品でないしおまけに険しかない」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact4 -> int1: もしも「その糞餓鬼は想定し難いということはない一方でみっともない」ということは成り立たないとしたらマヤライヤガでない; fact8 & fact6 -> int2: 「その糞餓鬼は想定し難くないがしかしみっともない」ということは成り立たない; int1 & int2 -> int3: その糞餓鬼はマヤライヤガでない; fact1 -> int4: 仮にその糞餓鬼がマヤライヤガでないとすれば珍品でないしまた険しかない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物はマヤライヤガでないなら珍品でなくておまけに険しかない
事実2: ある物はマヤライヤガであるとすると「それは珍品であるということはないし険しかない」ということは成り立たない
事実3: もしも「何らかのものは弱くないけれど勇ましい」ということは成り立たないとしたら突発する
事実4: 仮に「何らかの物は想定し難くないけれどそれはみっともない」ということは偽であるとしたらマヤライヤガでない
事実5: 観察し易くないものが荒っぽくないとするとマヤライヤガである
事実6: その糞餓鬼は観察し易い
事実7: もし何かは突発すれば「それは観察し易くないしまたそれは荒っぽくない」ということは事実である
事実8: もしその糞餓鬼は観察し易いならば「それは想定し難くないがしかしみっともない」ということは本当であるということはない
事実9: もし何らかのものがみっともないということはないならそれは想定し難くないし観察し易くない

仮説: 「「その糞餓鬼は珍品でないしおまけに険しかない」ということは成り立たない」ということは成り立つ
1. 事実4から、推論1: "もしも「その糞餓鬼は想定し難いということはない一方でみっともない」ということは成り立たないとしたらマヤライヤガでない"が導かれる
2. 事実8と事実6から、推論2: "「その糞餓鬼は想定し難くないがしかしみっともない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "その糞餓鬼はマヤライヤガでない"が導かれる
4. 事実1から、推論4: "仮にその糞餓鬼がマヤライヤガでないとすれば珍品でないしまた険しかない"が導かれる
5. 推論3と推論4から、仮説が否定される

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