「「このザ・ハンドは引き出し易くなくてそれはし易くない」ということは確かでない」ということは本当だ
fact1: 「引き起こし易い」ものはある fact2: もしもこの偈は末恐ろしくなくてメンズフロアでないとしたらそれは引き起こし易いということはない fact3: このザ・ハンドは誤解し易くないしさらにカムシャフトでない fact4: この偈は末恐ろしくなくてかつそれはメンズフロアでない fact5: この偈はメンズフロアでない fact6: 仮に何かは引き起こし易くないならば「このザ・ハンドは引き出し易くなくてそれにそれはし易いということはない」ということは成り立たない fact7: 「このザ・ハンドは末恐ろしくなくてかつ引き出し易くない」ということは嘘だ fact8: 引き起こし易くない物は引き出し易くないしし易くない fact9: 運悪いものは引き起こし易いということはない fact10: 仮になんらかの物は引き起こし易くないとすれば「このザ・ハンドは引き出し易いがしかしし易くない」ということは本当でない
fact2 & fact4 -> int1: この偈は引き起こし易くない; int1 -> int2: なにがしかのものは引き起こし易いということはない; int2 & fact6 -> hypothesis;
このザ・ハンドは引き出し易くないしおまけにし易くない
fact12 -> int3: このザ・ハンドが引き起こし易くないとすると引き出し易いということはなくておまけにそれはし易くない; fact11 -> int4: もしもこのザ・ハンドが運悪いならば引き起こし易くない;
$facts$ = fact1: 「引き起こし易い」ものはある fact2: もしもこの偈は末恐ろしくなくてメンズフロアでないとしたらそれは引き起こし易いということはない fact3: このザ・ハンドは誤解し易くないしさらにカムシャフトでない fact4: この偈は末恐ろしくなくてかつそれはメンズフロアでない fact5: この偈はメンズフロアでない fact6: 仮に何かは引き起こし易くないならば「このザ・ハンドは引き出し易くなくてそれにそれはし易いということはない」ということは成り立たない fact7: 「このザ・ハンドは末恐ろしくなくてかつ引き出し易くない」ということは嘘だ fact8: 引き起こし易くない物は引き出し易くないしし易くない fact9: 運悪いものは引き起こし易いということはない fact10: 仮になんらかの物は引き起こし易くないとすれば「このザ・ハンドは引き出し易いがしかしし易くない」ということは本当でない ; $hypothesis$ = 「「このザ・ハンドは引き出し易くなくてそれはし易くない」ということは確かでない」ということは本当だ ; $proof$ = 
fact2 & fact4 -> int1: この偈は引き起こし易くない; int1 -> int2: なにがしかのものは引き起こし易いということはない; int2 & fact6 -> hypothesis; __PROVED__
事実1: 「引き起こし易い」ものはある
事実2: もしもこの偈は末恐ろしくなくてメンズフロアでないとしたらそれは引き起こし易いということはない
事実3: このザ・ハンドは誤解し易くないしさらにカムシャフトでない
事実4: この偈は末恐ろしくなくてかつそれはメンズフロアでない
事実5: この偈はメンズフロアでない
事実6: 仮に何かは引き起こし易くないならば「このザ・ハンドは引き出し易くなくてそれにそれはし易いということはない」ということは成り立たない
事実7: 「このザ・ハンドは末恐ろしくなくてかつ引き出し易くない」ということは嘘だ
事実8: 引き起こし易くない物は引き出し易くないしし易くない
事実9: 運悪いものは引き起こし易いということはない
事実10: 仮になんらかの物は引き起こし易くないとすれば「このザ・ハンドは引き出し易いがしかしし易くない」ということは本当でない

仮説: 「「このザ・ハンドは引き出し易くなくてそれはし易くない」ということは確かでない」ということは本当だ
1. 事実2と事実4から、推論1: "この偈は引き起こし易くない"が導かれる
2. 推論1から、推論2: "なにがしかのものは引き起こし易いということはない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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