あのサブディレクトリは悲し
fact1: あの接遇は著しい fact2: もしもあのサブディレクトリが孵化するならそれは著しい fact3: もしも「「「その一つ年上は登録局であるがしかし娶らない」ということは本当である」ということは成り立つということはない」ということは正しいならあのサブディレクトリは孵化する fact4: 仮にその一つ年上が悲しならばあのサブディレクトリは登録局だ fact5: その一つ年上は不動産業界だ fact6: この文理学部は孵化しない fact7: その一つ年上は対中貿易だが娶らない fact8: もしもその一つ年上は悲しとすると「あのサブディレクトリは登録局であるけれど孵化しない」ということは事実と異なる fact9: あの接遇は孵化する fact10: 「その一つ年上は登録局で娶る」ということは事実でない fact11: もしあの接遇は対中貿易だとすれば「その一つ年上は登録局で更に娶る」ということは間違いである fact12: もし仮にあの接遇が不動産業界だしそれに成され易いとしたら対中貿易だ fact13: もしあの接遇は不動産業界だがしかし成され易くないならば対中貿易である fact14: あの接遇は対中貿易であるとすると「その一つ年上が登録局だけどそれは娶らない」ということは間違いだ fact15: あの接遇は成され易くない fact16: あの接遇は不動産業界だけど成され易くない fact17: もし「その一つ年上は悲しがしかし成され易くない」ということは成り立たないならばあの接遇は登録局だ fact18: あのサブディレクトリが著しいならば悲し fact19: 仮にその一つ年上が娶るとすればあのサブディレクトリは孵化する fact20: もしあるものは孵化するということはないとすると「それは娶るししかも著しい」ということは間違いである
fact13 & fact16 -> int1: 「あの接遇は対中貿易である」ということは成り立つ; int1 & fact14 -> int2: 「その一つ年上は登録局であるけれど娶らない」ということは本当でない; int2 & fact3 -> int3: あのサブディレクトリは孵化する; int3 & fact2 -> int4: あのサブディレクトリは著しい; int4 & fact18 -> hypothesis;
あのサブディレクトリは悲しない
fact21 -> int5: もしもこの文理学部は孵化しないとしたら「娶るし著しい」ということは成り立たない; int5 & fact22 -> int6: 「この文理学部は娶るしかつそれは著しい」ということは成り立たない; int6 -> int7: 「「娶るしかつ著しい」ということは成り立たない」物はある;
$facts$ = fact1: あの接遇は著しい fact2: もしもあのサブディレクトリが孵化するならそれは著しい fact3: もしも「「「その一つ年上は登録局であるがしかし娶らない」ということは本当である」ということは成り立つということはない」ということは正しいならあのサブディレクトリは孵化する fact4: 仮にその一つ年上が悲しならばあのサブディレクトリは登録局だ fact5: その一つ年上は不動産業界だ fact6: この文理学部は孵化しない fact7: その一つ年上は対中貿易だが娶らない fact8: もしもその一つ年上は悲しとすると「あのサブディレクトリは登録局であるけれど孵化しない」ということは事実と異なる fact9: あの接遇は孵化する fact10: 「その一つ年上は登録局で娶る」ということは事実でない fact11: もしあの接遇は対中貿易だとすれば「その一つ年上は登録局で更に娶る」ということは間違いである fact12: もし仮にあの接遇が不動産業界だしそれに成され易いとしたら対中貿易だ fact13: もしあの接遇は不動産業界だがしかし成され易くないならば対中貿易である fact14: あの接遇は対中貿易であるとすると「その一つ年上が登録局だけどそれは娶らない」ということは間違いだ fact15: あの接遇は成され易くない fact16: あの接遇は不動産業界だけど成され易くない fact17: もし「その一つ年上は悲しがしかし成され易くない」ということは成り立たないならばあの接遇は登録局だ fact18: あのサブディレクトリが著しいならば悲し fact19: 仮にその一つ年上が娶るとすればあのサブディレクトリは孵化する fact20: もしあるものは孵化するということはないとすると「それは娶るししかも著しい」ということは間違いである ; $hypothesis$ = あのサブディレクトリは悲し ; $proof$ = 
fact13 & fact16 -> int1: 「あの接遇は対中貿易である」ということは成り立つ; int1 & fact14 -> int2: 「その一つ年上は登録局であるけれど娶らない」ということは本当でない; int2 & fact3 -> int3: あのサブディレクトリは孵化する; int3 & fact2 -> int4: あのサブディレクトリは著しい; int4 & fact18 -> hypothesis; __PROVED__
事実1: あの接遇は著しい
事実2: もしもあのサブディレクトリが孵化するならそれは著しい
事実3: もしも「「「その一つ年上は登録局であるがしかし娶らない」ということは本当である」ということは成り立つということはない」ということは正しいならあのサブディレクトリは孵化する
事実4: 仮にその一つ年上が悲しならばあのサブディレクトリは登録局だ
事実5: その一つ年上は不動産業界だ
事実6: この文理学部は孵化しない
事実7: その一つ年上は対中貿易だが娶らない
事実8: もしもその一つ年上は悲しとすると「あのサブディレクトリは登録局であるけれど孵化しない」ということは事実と異なる
事実9: あの接遇は孵化する
事実10: 「その一つ年上は登録局で娶る」ということは事実でない
事実11: もしあの接遇は対中貿易だとすれば「その一つ年上は登録局で更に娶る」ということは間違いである
事実12: もし仮にあの接遇が不動産業界だしそれに成され易いとしたら対中貿易だ
事実13: もしあの接遇は不動産業界だがしかし成され易くないならば対中貿易である
事実14: あの接遇は対中貿易であるとすると「その一つ年上が登録局だけどそれは娶らない」ということは間違いだ
事実15: あの接遇は成され易くない
事実16: あの接遇は不動産業界だけど成され易くない
事実17: もし「その一つ年上は悲しがしかし成され易くない」ということは成り立たないならばあの接遇は登録局だ
事実18: あのサブディレクトリが著しいならば悲し
事実19: 仮にその一つ年上が娶るとすればあのサブディレクトリは孵化する
事実20: もしあるものは孵化するということはないとすると「それは娶るししかも著しい」ということは間違いである

仮説: あのサブディレクトリは悲し
1. 事実13と事実16から、推論1: "「あの接遇は対中貿易である」ということは成り立つ"が導かれる
2. 推論1と事実14から、推論2: "「その一つ年上は登録局であるけれど娶らない」ということは本当でない"が導かれる
3. 推論2と事実3から、推論3: "あのサブディレクトリは孵化する"が導かれる
4. 推論3と事実2から、推論4: "あのサブディレクトリは著しい"が導かれる
5. 推論4と事実18から、仮説が導かれる

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