そのエトルリア語は捕まえ易いけれどディーゼルハンマでない
fact1: もしこのベース径が進み易いとすると十五分以内だということはない fact2: もし仮に「その彫刻家は息衝き始めるがしかし際どいということはない」ということは誤っているなら息衝き始めるということはない fact3: もし仮に「データベース管理システムでない」ものがあるならあの神代正語はデータベース管理システムでないかもしくはそれは居住区でない fact4: そのエトルリア語は振り込みでないとしたら植林する fact5: もし仮に何らかのものは構え易いとすると「それは振り込みだし加えてそれは植林しない」ということは嘘である fact6: 何かは十五分以内なら「捕まえ易い一方でディーゼルハンマでない」ということは成り立つということはない fact7: もし仮にこのベース径が十五分以内でないとしたらそのエトルリア語はディーゼルハンマでない fact8: そのエトルリア語は営業譲渡等しない fact9: もしもあの神代正語が題しないとするとこの学業は人恋しくない fact10: 「仮にこの学業が人恋しいということはないとするとあの当たり役は構え易い」ということは確かである fact11: その彫刻家は超克しない fact12: 仮になにがしかの物がデータベース管理システムでないか居住区でないかもしくは両方ともであるとしたら「題しない」ということは正しい fact13: このベース径は安しないか進み易いかどちらもだ fact14: もしもそのエトルリア語が植林するということはないとすればあのベース径はディーゼルハンマでない fact15: このベース径はみっともないがしかし農産物加工でない fact16: そのエトルリア語は振り込みでない fact17: もしもその彫刻家が低過ぎるということはないがしかし潜伏するとすると「それはデータベース管理システムでない」ということは本当である fact18: もし仮にその彫刻家は超克しないなら「それは息衝き始める一方で際どかない」ということは誤っている fact19: このベース径はディーゼルハンマでない fact20: もしその彫刻家が息衝き始めないならそれは低過ぎないし更にそれは潜伏する fact21: 仮にそのエトルリア語は振り込みでないとしたらそれは捕まえ易くてまた植林する fact22: もし仮にこのベース径が安しないかそれは進み易いかもしくは両方ともであるとしたら十五分以内であるということはない fact23: もしも「このベース径は十五分以内である」ということは成り立つとするとそのエトルリア語は十五分以内である fact24: もし仮に「そのエトルリア語は振り込みでないけれどそれは十五分以内だ」ということは間違いであるとすれば「このベース径は振り込みでない」ということは確かだ
fact22 & fact13 -> int1: このベース径は十五分以内であるということはない; int1 & fact7 -> int2: そのエトルリア語はディーゼルハンマでない; fact21 & fact16 -> int3: そのエトルリア語は捕まえ易くて植林する; int3 -> int4: そのエトルリア語は捕まえ易い; int2 & int4 -> hypothesis;
このベース径は振り込みでない
$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$ = 
fact22 & fact13 -> int1: このベース径は十五分以内であるということはない; int1 & fact7 -> int2: そのエトルリア語はディーゼルハンマでない; fact21 & fact16 -> int3: そのエトルリア語は捕まえ易くて植林する; int3 -> int4: そのエトルリア語は捕まえ易い; int2 & int4 -> hypothesis; __PROVED__
事実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. 事実22と事実13から、推論1: "このベース径は十五分以内であるということはない"が導かれる
2. 推論1と事実7から、推論2: "そのエトルリア語はディーゼルハンマでない"が導かれる
3. 事実21と事実16から、推論3: "そのエトルリア語は捕まえ易くて植林する"が導かれる
4. 推論3から、推論4: "そのエトルリア語は捕まえ易い"が導かれる
5. 推論2と推論4から、仮説が導かれる

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