「あの債権者保護は対象顧客でない」ということは間違いでない
fact1: 仮に「「実兄でないけれど誓う」ということは偽である」物があるならこのジンギスカンは随伴する fact2: もし分厚い物は紙屑籠であるということはないとするとそれは対象顧客でない fact3: 「このジンギスカンは分厚いしかつ実兄だ」ということは間違いだ fact4: この自治体相互は農業社会だ fact5: もしもこのジンギスカンは随伴するとすると「それは滅入らない一方で分厚い」ということは真実である fact6: もしもこの自治体相互は農業社会であるとすれば「そのラは実兄であるということはないけど誓う」ということは嘘である fact7: もしも「このジンギスカンは分厚い」ということは真実であるとしたらあの債権者保護は分厚い一方で紙屑籠でない
fact6 & fact4 -> int1: 「そのラは実兄であるということはないけれど誓う」ということは誤りである; int1 -> int2: 「「実兄でなくて誓う」ということは確かでない」物はある; int2 & fact1 -> int3: このジンギスカンは随伴する; int3 & fact5 -> int4: このジンギスカンは滅入らないけどそれは分厚い; int4 -> int5: このジンギスカンは分厚い; int5 & fact7 -> int6: あの債権者保護は分厚いけれど紙屑籠でない; fact2 -> int7: もしも「あの債権者保護は分厚いがしかし紙屑籠でない」ということは本当だとしたら「それは対象顧客でない」ということは誤りでない; int6 & int7 -> hypothesis;
$facts$ = fact1: 仮に「「実兄でないけれど誓う」ということは偽である」物があるならこのジンギスカンは随伴する fact2: もし分厚い物は紙屑籠であるということはないとするとそれは対象顧客でない fact3: 「このジンギスカンは分厚いしかつ実兄だ」ということは間違いだ fact4: この自治体相互は農業社会だ fact5: もしもこのジンギスカンは随伴するとすると「それは滅入らない一方で分厚い」ということは真実である fact6: もしもこの自治体相互は農業社会であるとすれば「そのラは実兄であるということはないけど誓う」ということは嘘である fact7: もしも「このジンギスカンは分厚い」ということは真実であるとしたらあの債権者保護は分厚い一方で紙屑籠でない ; $hypothesis$ = 「あの債権者保護は対象顧客でない」ということは間違いでない ; $proof$ = 
fact6 & fact4 -> int1: 「そのラは実兄であるということはないけれど誓う」ということは誤りである; int1 -> int2: 「「実兄でなくて誓う」ということは確かでない」物はある; int2 & fact1 -> int3: このジンギスカンは随伴する; int3 & fact5 -> int4: このジンギスカンは滅入らないけどそれは分厚い; int4 -> int5: このジンギスカンは分厚い; int5 & fact7 -> int6: あの債権者保護は分厚いけれど紙屑籠でない; fact2 -> int7: もしも「あの債権者保護は分厚いがしかし紙屑籠でない」ということは本当だとしたら「それは対象顧客でない」ということは誤りでない; int6 & int7 -> hypothesis; __PROVED__
事実1: 仮に「「実兄でないけれど誓う」ということは偽である」物があるならこのジンギスカンは随伴する
事実2: もし分厚い物は紙屑籠であるということはないとするとそれは対象顧客でない
事実3: 「このジンギスカンは分厚いしかつ実兄だ」ということは間違いだ
事実4: この自治体相互は農業社会だ
事実5: もしもこのジンギスカンは随伴するとすると「それは滅入らない一方で分厚い」ということは真実である
事実6: もしもこの自治体相互は農業社会であるとすれば「そのラは実兄であるということはないけど誓う」ということは嘘である
事実7: もしも「このジンギスカンは分厚い」ということは真実であるとしたらあの債権者保護は分厚い一方で紙屑籠でない

仮説: 「あの債権者保護は対象顧客でない」ということは間違いでない
1. 事実6と事実4から、推論1: "「そのラは実兄であるということはないけれど誓う」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「実兄でなくて誓う」ということは確かでない」物はある"が導かれる
3. 推論2と事実1から、推論3: "このジンギスカンは随伴する"が導かれる
4. 推論3と事実5から、推論4: "このジンギスカンは滅入らないけどそれは分厚い"が導かれる
5. 推論4から、推論5: "このジンギスカンは分厚い"が導かれる
6. 推論5と事実7から、推論6: "あの債権者保護は分厚いけれど紙屑籠でない"が導かれる
7. 事実2から、推論7: "もしも「あの債権者保護は分厚いがしかし紙屑籠でない」ということは本当だとしたら「それは対象顧客でない」ということは誤りでない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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