「その計測・計算は配置するかそれは餓鬼っぽくないかまたは両方ともだ」ということは成り立たない
fact1: その計測・計算が抗い難くないとしたらそれは詩選でない fact2: もしその計測・計算が煮詰めないならそれは仏法僧でない fact3: 仮になにがしかの物が配するとすれば配置するかそれは餓鬼っぽくない fact4: もしもその計測・計算が配するということはないとすれば仏法僧でない fact5: もしもなんらかの物は仏法僧でないとすれば「配置するかそれは餓鬼っぽくないかもしくは両方ともだ」ということは成り立つということはない fact6: もし「とある物は配しないが回帰する」ということは事実と異なるならそれは配する fact7: 仮にとある物が読み掛けるなら仏法僧だ fact8: 「懐かしし加えて商人らしい」ものはある fact9: 「この見物人達は配するということはない」ということは成り立つ fact10: もしもこの罪穢れが読み掛けるならその計測・計算は読み掛ける fact11: 「その計測・計算は配するということはない」ということは成り立つ
fact4 & fact11 -> int1: その計測・計算は仏法僧でない; fact5 -> int2: 「もしもその計測・計算は仏法僧でないならば「「その計測・計算は配置するかまたは餓鬼っぽくない」ということは本当である」ということは真実でない」ということは確かだ; int1 & int2 -> hypothesis;
その計測・計算は配置するかそれは餓鬼っぽくないか両方ともである
fact14 -> int3: 仮にその計測・計算が配するならそれは配置するかあるいは餓鬼っぽくないかもしくは両方である; fact12 -> int4: 「その計測・計算は配しないがそれは回帰する」ということは成り立たないとするとそれは配する; fact16 -> int5: もしその計測・計算は読み掛けるとすると「それは仏法僧だ」ということは成り立つ;
$facts$ = fact1: その計測・計算が抗い難くないとしたらそれは詩選でない fact2: もしその計測・計算が煮詰めないならそれは仏法僧でない fact3: 仮になにがしかの物が配するとすれば配置するかそれは餓鬼っぽくない fact4: もしもその計測・計算が配するということはないとすれば仏法僧でない fact5: もしもなんらかの物は仏法僧でないとすれば「配置するかそれは餓鬼っぽくないかもしくは両方ともだ」ということは成り立つということはない fact6: もし「とある物は配しないが回帰する」ということは事実と異なるならそれは配する fact7: 仮にとある物が読み掛けるなら仏法僧だ fact8: 「懐かしし加えて商人らしい」ものはある fact9: 「この見物人達は配するということはない」ということは成り立つ fact10: もしもこの罪穢れが読み掛けるならその計測・計算は読み掛ける fact11: 「その計測・計算は配するということはない」ということは成り立つ ; $hypothesis$ = 「その計測・計算は配置するかそれは餓鬼っぽくないかまたは両方ともだ」ということは成り立たない ; $proof$ = 
fact4 & fact11 -> int1: その計測・計算は仏法僧でない; fact5 -> int2: 「もしもその計測・計算は仏法僧でないならば「「その計測・計算は配置するかまたは餓鬼っぽくない」ということは本当である」ということは真実でない」ということは確かだ; int1 & int2 -> hypothesis; __PROVED__
事実1: その計測・計算が抗い難くないとしたらそれは詩選でない
事実2: もしその計測・計算が煮詰めないならそれは仏法僧でない
事実3: 仮になにがしかの物が配するとすれば配置するかそれは餓鬼っぽくない
事実4: もしもその計測・計算が配するということはないとすれば仏法僧でない
事実5: もしもなんらかの物は仏法僧でないとすれば「配置するかそれは餓鬼っぽくないかもしくは両方ともだ」ということは成り立つということはない
事実6: もし「とある物は配しないが回帰する」ということは事実と異なるならそれは配する
事実7: 仮にとある物が読み掛けるなら仏法僧だ
事実8: 「懐かしし加えて商人らしい」ものはある
事実9: 「この見物人達は配するということはない」ということは成り立つ
事実10: もしもこの罪穢れが読み掛けるならその計測・計算は読み掛ける
事実11: 「その計測・計算は配するということはない」ということは成り立つ

仮説: 「その計測・計算は配置するかそれは餓鬼っぽくないかまたは両方ともだ」ということは成り立たない
1. 事実4と事実11から、推論1: "その計測・計算は仏法僧でない"が導かれる
2. 事実5から、推論2: "「もしもその計測・計算は仏法僧でないならば「「その計測・計算は配置するかまたは餓鬼っぽくない」ということは本当である」ということは真実でない」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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