「この関数式は言い易くないかあるいはそれは利しない」ということは誤りである
fact1: もしも「あの発展方向は言い易いということはない」ということは本当であるとすれば「この関数式は言い易くないかまたは利しないかもしくは両方ともである」ということは成り立たない fact2: それは一煮立ちするが申し上げないというものはない fact3: もしもとある物が言い易くないとしたらドルフィン・ビーチ・リゾートでないしその上書き難いということはない fact4: もしこの共犯関係は書き難いドルフィン・ビーチ・リゾートなら「あの発展方向は言い易くない」ということは本当だ fact5: もし「この共犯関係は一煮立ちするけど申し上げるということはない」ということは成り立つということはないとすれば「それは書き難い」ということは正しい fact6: 仮にあの発展方向は一煮立ちしないとすれば「この共犯関係は一煮立ちしないか言い易くない」ということは事実でない fact7: もしもなんらかのものはドルフィン・ビーチ・リゾートだということはないし加えて書き難くないとするとそれは利する fact8: 仮に何かは書き難くないならばそれは言い易くないかまたは利しないかもしくは両方だ fact9: 「この共犯関係は一煮立ちするし加えて申し上げる」ということは間違いである fact10: 「この共犯関係はドルフィン・ビーチ・リゾートだ」ということは成り立つ
fact2 -> int1: 「この共犯関係は一煮立ちするけど申し上げない」ということは成り立たない; int1 & fact5 -> int2: この共犯関係は書き難い; int2 & fact10 -> int3: この共犯関係は書き難いし更にドルフィン・ビーチ・リゾートである; int3 & fact4 -> int4: あの発展方向は言い易くない; int4 & fact1 -> hypothesis;
この唐組は利する
fact12 -> int5: もしこの唐組はドルフィン・ビーチ・リゾートでなくて加えて書き難いということはないとすると利する; fact11 -> int6: 「もしもこの唐組が言い易くないならこの唐組はドルフィン・ビーチ・リゾートでないし加えてそれは書き難いということはない」ということは事実である;
$facts$ = fact1: もしも「あの発展方向は言い易いということはない」ということは本当であるとすれば「この関数式は言い易くないかまたは利しないかもしくは両方ともである」ということは成り立たない fact2: それは一煮立ちするが申し上げないというものはない fact3: もしもとある物が言い易くないとしたらドルフィン・ビーチ・リゾートでないしその上書き難いということはない fact4: もしこの共犯関係は書き難いドルフィン・ビーチ・リゾートなら「あの発展方向は言い易くない」ということは本当だ fact5: もし「この共犯関係は一煮立ちするけど申し上げるということはない」ということは成り立つということはないとすれば「それは書き難い」ということは正しい fact6: 仮にあの発展方向は一煮立ちしないとすれば「この共犯関係は一煮立ちしないか言い易くない」ということは事実でない fact7: もしもなんらかのものはドルフィン・ビーチ・リゾートだということはないし加えて書き難くないとするとそれは利する fact8: 仮に何かは書き難くないならばそれは言い易くないかまたは利しないかもしくは両方だ fact9: 「この共犯関係は一煮立ちするし加えて申し上げる」ということは間違いである fact10: 「この共犯関係はドルフィン・ビーチ・リゾートだ」ということは成り立つ ; $hypothesis$ = 「この関数式は言い易くないかあるいはそれは利しない」ということは誤りである ; $proof$ = 
fact2 -> int1: 「この共犯関係は一煮立ちするけど申し上げない」ということは成り立たない; int1 & fact5 -> int2: この共犯関係は書き難い; int2 & fact10 -> int3: この共犯関係は書き難いし更にドルフィン・ビーチ・リゾートである; int3 & fact4 -> int4: あの発展方向は言い易くない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もしも「あの発展方向は言い易いということはない」ということは本当であるとすれば「この関数式は言い易くないかまたは利しないかもしくは両方ともである」ということは成り立たない
事実2: それは一煮立ちするが申し上げないというものはない
事実3: もしもとある物が言い易くないとしたらドルフィン・ビーチ・リゾートでないしその上書き難いということはない
事実4: もしこの共犯関係は書き難いドルフィン・ビーチ・リゾートなら「あの発展方向は言い易くない」ということは本当だ
事実5: もし「この共犯関係は一煮立ちするけど申し上げるということはない」ということは成り立つということはないとすれば「それは書き難い」ということは正しい
事実6: 仮にあの発展方向は一煮立ちしないとすれば「この共犯関係は一煮立ちしないか言い易くない」ということは事実でない
事実7: もしもなんらかのものはドルフィン・ビーチ・リゾートだということはないし加えて書き難くないとするとそれは利する
事実8: 仮に何かは書き難くないならばそれは言い易くないかまたは利しないかもしくは両方だ
事実9: 「この共犯関係は一煮立ちするし加えて申し上げる」ということは間違いである
事実10: 「この共犯関係はドルフィン・ビーチ・リゾートだ」ということは成り立つ

仮説: 「この関数式は言い易くないかあるいはそれは利しない」ということは誤りである
1. 事実2から、推論1: "「この共犯関係は一煮立ちするけど申し上げない」ということは成り立たない"が導かれる
2. 推論1と事実5から、推論2: "この共犯関係は書き難い"が導かれる
3. 推論2と事実10から、推論3: "この共犯関係は書き難いし更にドルフィン・ビーチ・リゾートである"が導かれる
4. 推論3と事実4から、推論4: "あの発展方向は言い易くない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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