このエロス的身体は割り入れないしかつ恩返しでない
fact1: このエロス的身体は浅ましくない fact2: もし仮にその宗教儀礼は浅ましくないならば「それは国庫でない一方で所狭し」ということは成り立たない fact3: その宗教儀礼は浅ましくないとしたら「この有高は公判期日でない」ということは本当だ fact4: その宗教儀礼は浅ましいということはないかもしくは袍でないかあるいは両方である fact5: もしその宗教儀礼が公判期日だとすればこのエロス的身体は割り入れないしその上恩返しでない fact6: とある物が二倍すればそれは公判期日だけどメイン文書でない fact7: 「この有高は割り入れないが連接する」ということは偽だ fact8: このエロス的身体がメイン文書でないとするとこの有高は割り入れない fact9: 仮になにがしかの物は起伏しないなら「権限委譲で更にそれは与え易いということはない」ということは事実と異なる fact10: もしもとあるものは公判期日でないとしたら「評価プロセスでないけれど連接する」ということは偽である fact11: 仮にこの有高はメイン文書であるなら「このエロス的身体は二倍するということはないけど国庫である」ということは偽である fact12: もしも何かは所狭くないとすれば「「割り入れなくて恩返しでない」ということは真実だ」ということは間違いである fact13: もしも「この有高は評価プロセスでない一方で連接する」ということは成り立たないとしたらそれはメイン文書である fact14: この有高は評価プロセスでないとすれば「「浅ましくておまけに国庫である」ということは成り立つ」ということは嘘だ fact15: もしこのエロス的身体は恩返しでないなら「二倍するししかも浅ましい」ということは誤りだ fact16: もし何らかのものは二倍しないなら「それは恩返しでなくておまけにそれは袍である」ということは成り立たない fact17: 「もし仮に「なんらかの物は二倍しないが国庫だ」ということは誤っているとすると所狭くない」ということは本当である fact18: 仮にこのエロス的身体は所狭しならば「この有高が公判期日だしまた二倍する」ということは事実でない fact19: もしこのエロス的身体は袍でないとすると「それは連接しなくて所狭し」ということは成り立たない fact20: 仮に「とある物は国庫でないが所狭し」ということは成り立たないとするとそれは国庫だ fact21: もしもその宗教儀礼が袍でないとすればこの有高は公判期日でない fact22: もし仮にその宗教儀礼が袍でないがそれは面倒がるとすると「浅ましくない」ということは真実である fact23: この有高は割り入れれば「このエロス的身体は評価プロセスでないけれどそれは国庫である」ということは間違っている fact24: 「もし仮にこの有高は袍なら「このエロス的身体は国庫であるしメイン文書だ」ということは誤りである」ということは正しい
fact10 -> int1: 仮にこの有高は公判期日でないならば「評価プロセスでないしそれに連接する」ということは本当でない; fact4 & fact21 & fact3 -> int2: この有高は公判期日でない; int1 & int2 -> int3: 「この有高は評価プロセスでないがそれは連接する」ということは成り立たない; int3 & fact13 -> int4: この有高はメイン文書だ; int4 & fact11 -> int5: 「このエロス的身体は二倍するということはないがしかし国庫だ」ということは誤りである; fact17 -> int6: もし仮に「このエロス的身体は二倍しないけれどそれは国庫である」ということは誤っていれば「所狭しということはない」ということは成り立つ; int5 & int6 -> int7: このエロス的身体は所狭くない; fact12 -> int8: このエロス的身体は所狭くないとすると「それは割り入れなくて恩返しでない」ということは偽だ; int7 & int8 -> hypothesis;
このエロス的身体は割り入れなくて更に恩返しでない
fact27 -> int9: もしも「その宗教儀礼は二倍する」ということは事実なら公判期日であるがメイン文書でない; fact29 -> int10: もしも「その宗教儀礼は国庫でないけど所狭し」ということは間違いであるとするとそれは国庫である;
$facts$ = fact1: このエロス的身体は浅ましくない fact2: もし仮にその宗教儀礼は浅ましくないならば「それは国庫でない一方で所狭し」ということは成り立たない fact3: その宗教儀礼は浅ましくないとしたら「この有高は公判期日でない」ということは本当だ fact4: その宗教儀礼は浅ましいということはないかもしくは袍でないかあるいは両方である fact5: もしその宗教儀礼が公判期日だとすればこのエロス的身体は割り入れないしその上恩返しでない fact6: とある物が二倍すればそれは公判期日だけどメイン文書でない fact7: 「この有高は割り入れないが連接する」ということは偽だ fact8: このエロス的身体がメイン文書でないとするとこの有高は割り入れない fact9: 仮になにがしかの物は起伏しないなら「権限委譲で更にそれは与え易いということはない」ということは事実と異なる fact10: もしもとあるものは公判期日でないとしたら「評価プロセスでないけれど連接する」ということは偽である fact11: 仮にこの有高はメイン文書であるなら「このエロス的身体は二倍するということはないけど国庫である」ということは偽である fact12: もしも何かは所狭くないとすれば「「割り入れなくて恩返しでない」ということは真実だ」ということは間違いである fact13: もしも「この有高は評価プロセスでない一方で連接する」ということは成り立たないとしたらそれはメイン文書である fact14: この有高は評価プロセスでないとすれば「「浅ましくておまけに国庫である」ということは成り立つ」ということは嘘だ fact15: もしこのエロス的身体は恩返しでないなら「二倍するししかも浅ましい」ということは誤りだ fact16: もし何らかのものは二倍しないなら「それは恩返しでなくておまけにそれは袍である」ということは成り立たない fact17: 「もし仮に「なんらかの物は二倍しないが国庫だ」ということは誤っているとすると所狭くない」ということは本当である fact18: 仮にこのエロス的身体は所狭しならば「この有高が公判期日だしまた二倍する」ということは事実でない fact19: もしこのエロス的身体は袍でないとすると「それは連接しなくて所狭し」ということは成り立たない fact20: 仮に「とある物は国庫でないが所狭し」ということは成り立たないとするとそれは国庫だ fact21: もしもその宗教儀礼が袍でないとすればこの有高は公判期日でない fact22: もし仮にその宗教儀礼が袍でないがそれは面倒がるとすると「浅ましくない」ということは真実である fact23: この有高は割り入れれば「このエロス的身体は評価プロセスでないけれどそれは国庫である」ということは間違っている fact24: 「もし仮にこの有高は袍なら「このエロス的身体は国庫であるしメイン文書だ」ということは誤りである」ということは正しい ; $hypothesis$ = このエロス的身体は割り入れないしかつ恩返しでない ; $proof$ = 
fact10 -> int1: 仮にこの有高は公判期日でないならば「評価プロセスでないしそれに連接する」ということは本当でない; fact4 & fact21 & fact3 -> int2: この有高は公判期日でない; int1 & int2 -> int3: 「この有高は評価プロセスでないがそれは連接する」ということは成り立たない; int3 & fact13 -> int4: この有高はメイン文書だ; int4 & fact11 -> int5: 「このエロス的身体は二倍するということはないがしかし国庫だ」ということは誤りである; fact17 -> int6: もし仮に「このエロス的身体は二倍しないけれどそれは国庫である」ということは誤っていれば「所狭しということはない」ということは成り立つ; int5 & int6 -> int7: このエロス的身体は所狭くない; fact12 -> int8: このエロス的身体は所狭くないとすると「それは割り入れなくて恩返しでない」ということは偽だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: このエロス的身体は浅ましくない
事実2: もし仮にその宗教儀礼は浅ましくないならば「それは国庫でない一方で所狭し」ということは成り立たない
事実3: その宗教儀礼は浅ましくないとしたら「この有高は公判期日でない」ということは本当だ
事実4: その宗教儀礼は浅ましいということはないかもしくは袍でないかあるいは両方である
事実5: もしその宗教儀礼が公判期日だとすればこのエロス的身体は割り入れないしその上恩返しでない
事実6: とある物が二倍すればそれは公判期日だけどメイン文書でない
事実7: 「この有高は割り入れないが連接する」ということは偽だ
事実8: このエロス的身体がメイン文書でないとするとこの有高は割り入れない
事実9: 仮になにがしかの物は起伏しないなら「権限委譲で更にそれは与え易いということはない」ということは事実と異なる
事実10: もしもとあるものは公判期日でないとしたら「評価プロセスでないけれど連接する」ということは偽である
事実11: 仮にこの有高はメイン文書であるなら「このエロス的身体は二倍するということはないけど国庫である」ということは偽である
事実12: もしも何かは所狭くないとすれば「「割り入れなくて恩返しでない」ということは真実だ」ということは間違いである
事実13: もしも「この有高は評価プロセスでない一方で連接する」ということは成り立たないとしたらそれはメイン文書である
事実14: この有高は評価プロセスでないとすれば「「浅ましくておまけに国庫である」ということは成り立つ」ということは嘘だ
事実15: もしこのエロス的身体は恩返しでないなら「二倍するししかも浅ましい」ということは誤りだ
事実16: もし何らかのものは二倍しないなら「それは恩返しでなくておまけにそれは袍である」ということは成り立たない
事実17: 「もし仮に「なんらかの物は二倍しないが国庫だ」ということは誤っているとすると所狭くない」ということは本当である
事実18: 仮にこのエロス的身体は所狭しならば「この有高が公判期日だしまた二倍する」ということは事実でない
事実19: もしこのエロス的身体は袍でないとすると「それは連接しなくて所狭し」ということは成り立たない
事実20: 仮に「とある物は国庫でないが所狭し」ということは成り立たないとするとそれは国庫だ
事実21: もしもその宗教儀礼が袍でないとすればこの有高は公判期日でない
事実22: もし仮にその宗教儀礼が袍でないがそれは面倒がるとすると「浅ましくない」ということは真実である
事実23: この有高は割り入れれば「このエロス的身体は評価プロセスでないけれどそれは国庫である」ということは間違っている
事実24: 「もし仮にこの有高は袍なら「このエロス的身体は国庫であるしメイン文書だ」ということは誤りである」ということは正しい

仮説: このエロス的身体は割り入れないしかつ恩返しでない
1. 事実10から、推論1: "仮にこの有高は公判期日でないならば「評価プロセスでないしそれに連接する」ということは本当でない"が導かれる
2. 事実4と事実21と事実3から、推論2: "この有高は公判期日でない"が導かれる
3. 推論1と推論2から、推論3: "「この有高は評価プロセスでないがそれは連接する」ということは成り立たない"が導かれる
4. 推論3と事実13から、推論4: "この有高はメイン文書だ"が導かれる
5. 推論4と事実11から、推論5: "「このエロス的身体は二倍するということはないがしかし国庫だ」ということは誤りである"が導かれる
6. 事実17から、推論6: "もし仮に「このエロス的身体は二倍しないけれどそれは国庫である」ということは誤っていれば「所狭しということはない」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "このエロス的身体は所狭くない"が導かれる
8. 事実12から、推論8: "このエロス的身体は所狭くないとすると「それは割り入れなくて恩返しでない」ということは偽だ"が導かれる
9. 推論7と推論8から、仮説が否定される

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