その十月初旬は評価する
fact1: 何かは評価しないしおまけにそれはシステム化するということはない fact2: もし「士卒であるし加えて遜色無くない」ものがあるとしたらあの同意無しはシステム化する fact3: もしもなにがしかの物は士卒でないとすると「それは評価するしかつそれは遜色無い」ということは偽だ fact4: 仮にあの同意無しが評価するとしたらその十月初旬はシステム化する fact5: もしも「遜色無くないしおまけに特筆しない」ものがあるとすればその十月初旬は女っぽい fact6: もしも「溶かし出すということはなくてまた遜色無くない」ものがあるとするとあの同意無しは音する fact7: 「評価するけどシステム化しない」ものはある fact8: なにがしかの物は士卒でなくて更にそれは遜色無いということはない fact9: 「士卒でない」ものはある fact10: なにがしかのものが士卒だということはないしさらに遜色無くないならあの同意無しはシステム化する fact11: 仮に何らかの物が上層でなくてかつ禁煙席でないとしたらあの同意無しは生産工程である fact12: あの同意無しは遜色無い fact13: 「あの同意無しは評価する」ということは間違いでない fact14: その国内経済は評価する fact15: 「「評価しないしかつシステム化する」ということは成り立つ」ものはある fact16: あの同意無しは士卒である fact17: 「あの同意無しは気付き易い」ということは真実だ fact18: 仮に合い難くない物はシステム化するとすると「士卒でない」ということは確かである fact19: なにがしかのものはシステム化するがしかし評価しない fact20: あるものは士卒でない一方で遜色無い fact21: もし仮にその十月初旬がシステム化するとすればあの同意無しは評価する fact22: もしもあの同意無しがシステム化するとすればその十月初旬は評価する
fact8 & fact10 -> int1: 「あの同意無しはシステム化する」ということは本当だ; int1 & fact22 -> hypothesis;
その十月初旬は評価しない
fact23 -> int2: あの同意無しは士卒でないとすると「評価するし遜色無い」ということは偽だ; fact24 -> int3: もしも「あの同意無しは合い難くない一方でシステム化する」ということは正しいなら士卒でない;
$facts$ = fact1: 何かは評価しないしおまけにそれはシステム化するということはない fact2: もし「士卒であるし加えて遜色無くない」ものがあるとしたらあの同意無しはシステム化する fact3: もしもなにがしかの物は士卒でないとすると「それは評価するしかつそれは遜色無い」ということは偽だ fact4: 仮にあの同意無しが評価するとしたらその十月初旬はシステム化する fact5: もしも「遜色無くないしおまけに特筆しない」ものがあるとすればその十月初旬は女っぽい fact6: もしも「溶かし出すということはなくてまた遜色無くない」ものがあるとするとあの同意無しは音する fact7: 「評価するけどシステム化しない」ものはある fact8: なにがしかの物は士卒でなくて更にそれは遜色無いということはない fact9: 「士卒でない」ものはある fact10: なにがしかのものが士卒だということはないしさらに遜色無くないならあの同意無しはシステム化する fact11: 仮に何らかの物が上層でなくてかつ禁煙席でないとしたらあの同意無しは生産工程である fact12: あの同意無しは遜色無い fact13: 「あの同意無しは評価する」ということは間違いでない fact14: その国内経済は評価する fact15: 「「評価しないしかつシステム化する」ということは成り立つ」ものはある fact16: あの同意無しは士卒である fact17: 「あの同意無しは気付き易い」ということは真実だ fact18: 仮に合い難くない物はシステム化するとすると「士卒でない」ということは確かである fact19: なにがしかのものはシステム化するがしかし評価しない fact20: あるものは士卒でない一方で遜色無い fact21: もし仮にその十月初旬がシステム化するとすればあの同意無しは評価する fact22: もしもあの同意無しがシステム化するとすればその十月初旬は評価する ; $hypothesis$ = その十月初旬は評価する ; $proof$ = 
fact8 & fact10 -> int1: 「あの同意無しはシステム化する」ということは本当だ; int1 & fact22 -> hypothesis; __PROVED__
事実1: 何かは評価しないしおまけにそれはシステム化するということはない
事実2: もし「士卒であるし加えて遜色無くない」ものがあるとしたらあの同意無しはシステム化する
事実3: もしもなにがしかの物は士卒でないとすると「それは評価するしかつそれは遜色無い」ということは偽だ
事実4: 仮にあの同意無しが評価するとしたらその十月初旬はシステム化する
事実5: もしも「遜色無くないしおまけに特筆しない」ものがあるとすればその十月初旬は女っぽい
事実6: もしも「溶かし出すということはなくてまた遜色無くない」ものがあるとするとあの同意無しは音する
事実7: 「評価するけどシステム化しない」ものはある
事実8: なにがしかの物は士卒でなくて更にそれは遜色無いということはない
事実9: 「士卒でない」ものはある
事実10: なにがしかのものが士卒だということはないしさらに遜色無くないならあの同意無しはシステム化する
事実11: 仮に何らかの物が上層でなくてかつ禁煙席でないとしたらあの同意無しは生産工程である
事実12: あの同意無しは遜色無い
事実13: 「あの同意無しは評価する」ということは間違いでない
事実14: その国内経済は評価する
事実15: 「「評価しないしかつシステム化する」ということは成り立つ」ものはある
事実16: あの同意無しは士卒である
事実17: 「あの同意無しは気付き易い」ということは真実だ
事実18: 仮に合い難くない物はシステム化するとすると「士卒でない」ということは確かである
事実19: なにがしかのものはシステム化するがしかし評価しない
事実20: あるものは士卒でない一方で遜色無い
事実21: もし仮にその十月初旬がシステム化するとすればあの同意無しは評価する
事実22: もしもあの同意無しがシステム化するとすればその十月初旬は評価する

仮説: その十月初旬は評価する
1. 事実8と事実10から、推論1: "「あの同意無しはシステム化する」ということは本当だ"が導かれる
2. 推論1と事実22から、仮説が導かれる

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