「もし仮にコマツ菜であるとすると「発明であるがしかし重ね着しない」ということは嘘である」物はある
fact1: とあるものはコマツ菜であるとすると「発明だが重ね着しない」ということは誤っている fact2: その階級は受け入れられ易いとすると「それは歌い方であるしそれは重ね着する」ということは嘘だ fact3: もしも「とある物は上積みする」ということは事実と異ならないなら「それは頬擦りする一方で売り難くない」ということは真実でない fact4: もし仮に何かはコマツ菜であるならば発明であるけれど重ね着しない fact5: もしもなにかは似合えば「それは痛がるし更に観光目的であるということはない」ということは偽だ fact6: もし仮にその区分所有等は幹部等であるならば消費出来る一方で発明でない fact7: 仮にあるものは長々しいとすれば「厳いしおまけにそれは似合う」ということは誤っている fact8: もしこの暫定措置命令は外交交渉であるとしたら「払い込むし発明である」ということは成り立たない fact9: あの会社名は所らしいとすれば「それは女々しいし加えて重ね着しない」ということは偽である fact10: 「もしもコマツ菜ならば「発明であるし更に重ね着する」ということは偽である」物はある fact11: もしもなにかはドリュフォロスであるとすれば「それは痛がるしまたそれは見給わない」ということは成り立たない fact12: もしその区分所有等は発明ならば「それは幹部等であるしそれに厚過ぎない」ということは事実と異なる fact13: もし仮にその区分所有等はコマツ菜であるなら「指導階級だし契約条項である」ということは誤りだ fact14: 「仮に因り難いとしたら拭き切れるが倹約出来るということはない」物はある fact15: 「御めでたいとすると示し易いし手荒くない」ものはある fact16: 仮にあの系列組織は弱過ぎれば「ロックする一方で御めでたくない」ということは成り立たない fact17: もしとあるものは重苦しいとすれば「それは程良い一方で売り難くない」ということは誤りだ fact18: 仮にとあるものは気難しいとすると「それは鷹巣神社であるが睦まじくない」ということは成り立たない
fact1 -> int1: もしも「その区分所有等はコマツ菜だ」ということは本当であるとしたら「発明であるしまたそれは重ね着するということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: とあるものはコマツ菜であるとすると「発明だが重ね着しない」ということは誤っている fact2: その階級は受け入れられ易いとすると「それは歌い方であるしそれは重ね着する」ということは嘘だ fact3: もしも「とある物は上積みする」ということは事実と異ならないなら「それは頬擦りする一方で売り難くない」ということは真実でない fact4: もし仮に何かはコマツ菜であるならば発明であるけれど重ね着しない fact5: もしもなにかは似合えば「それは痛がるし更に観光目的であるということはない」ということは偽だ fact6: もし仮にその区分所有等は幹部等であるならば消費出来る一方で発明でない fact7: 仮にあるものは長々しいとすれば「厳いしおまけにそれは似合う」ということは誤っている fact8: もしこの暫定措置命令は外交交渉であるとしたら「払い込むし発明である」ということは成り立たない fact9: あの会社名は所らしいとすれば「それは女々しいし加えて重ね着しない」ということは偽である fact10: 「もしもコマツ菜ならば「発明であるし更に重ね着する」ということは偽である」物はある fact11: もしもなにかはドリュフォロスであるとすれば「それは痛がるしまたそれは見給わない」ということは成り立たない fact12: もしその区分所有等は発明ならば「それは幹部等であるしそれに厚過ぎない」ということは事実と異なる fact13: もし仮にその区分所有等はコマツ菜であるなら「指導階級だし契約条項である」ということは誤りだ fact14: 「仮に因り難いとしたら拭き切れるが倹約出来るということはない」物はある fact15: 「御めでたいとすると示し易いし手荒くない」ものはある fact16: 仮にあの系列組織は弱過ぎれば「ロックする一方で御めでたくない」ということは成り立たない fact17: もしとあるものは重苦しいとすれば「それは程良い一方で売り難くない」ということは誤りだ fact18: 仮にとあるものは気難しいとすると「それは鷹巣神社であるが睦まじくない」ということは成り立たない ; $hypothesis$ = 「もし仮にコマツ菜であるとすると「発明であるがしかし重ね着しない」ということは嘘である」物はある ; $proof$ = 
fact1 -> int1: もしも「その区分所有等はコマツ菜だ」ということは本当であるとしたら「発明であるしまたそれは重ね着するということはない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: とあるものはコマツ菜であるとすると「発明だが重ね着しない」ということは誤っている
事実2: その階級は受け入れられ易いとすると「それは歌い方であるしそれは重ね着する」ということは嘘だ
事実3: もしも「とある物は上積みする」ということは事実と異ならないなら「それは頬擦りする一方で売り難くない」ということは真実でない
事実4: もし仮に何かはコマツ菜であるならば発明であるけれど重ね着しない
事実5: もしもなにかは似合えば「それは痛がるし更に観光目的であるということはない」ということは偽だ
事実6: もし仮にその区分所有等は幹部等であるならば消費出来る一方で発明でない
事実7: 仮にあるものは長々しいとすれば「厳いしおまけにそれは似合う」ということは誤っている
事実8: もしこの暫定措置命令は外交交渉であるとしたら「払い込むし発明である」ということは成り立たない
事実9: あの会社名は所らしいとすれば「それは女々しいし加えて重ね着しない」ということは偽である
事実10: 「もしもコマツ菜ならば「発明であるし更に重ね着する」ということは偽である」物はある
事実11: もしもなにかはドリュフォロスであるとすれば「それは痛がるしまたそれは見給わない」ということは成り立たない
事実12: もしその区分所有等は発明ならば「それは幹部等であるしそれに厚過ぎない」ということは事実と異なる
事実13: もし仮にその区分所有等はコマツ菜であるなら「指導階級だし契約条項である」ということは誤りだ
事実14: 「仮に因り難いとしたら拭き切れるが倹約出来るということはない」物はある
事実15: 「御めでたいとすると示し易いし手荒くない」ものはある
事実16: 仮にあの系列組織は弱過ぎれば「ロックする一方で御めでたくない」ということは成り立たない
事実17: もしとあるものは重苦しいとすれば「それは程良い一方で売り難くない」ということは誤りだ
事実18: 仮にとあるものは気難しいとすると「それは鷹巣神社であるが睦まじくない」ということは成り立たない

仮説: 「もし仮にコマツ菜であるとすると「発明であるがしかし重ね着しない」ということは嘘である」物はある
1. 事実1から、推論1: "もしも「その区分所有等はコマツ菜だ」ということは本当であるとしたら「発明であるしまたそれは重ね着するということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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