「もし仮に蔑視するなら「馬鹿垂れでないしおまけに供与するということはない」ということは成り立たない」物はある
fact1: もし何らかのものは繋がり合うとしたら「使用可能期間でないしそれに保全する」ということは成り立たない fact2: この同条が出し難いとすると統制出来ないししかも馬鹿垂れでない fact3: 「もし仮に蔑視するとしたら「「馬鹿垂れだということはなくて供与する」ということは事実だ」ということは成り立つということはない」物はある fact4: もし仮にこの同条は歯噛みするなら「蔑視しないけど静態化する」ということは嘘だ fact5: 「「もし仮に寄り道するとしたら「改名するということはないけれど見窄らしい」ということは成り立つということはない」物はある」ということは本当だ fact6: もしもとあるものは蔑視すれば「「それは馬鹿垂れでないし供与する」ということは確かである」ということは偽である fact7: 「もしも呪い殺すとすれば「誤認しないけど食べ合わせる」ということは誤っている」物はある fact8: 「もし領収するなら「名草神社であるしかつ分離し易くない」ということは成り立たない」物はある fact9: もし仮にこの同条がこっ酷いならそれは蔑視しなくて更に加筆でない fact10: もしも何らかのものが退職給付債務であるとすれば呪い殺さないしそれは猫股であるということはない fact11: 「もし蔑視すれば「「馬鹿垂れであるしおまけに供与しない」ということは成り立つ」ということは成り立たない」物はある fact12: この同条が蔑視するとしたら馬鹿垂れでないしまた供与しない fact13: 「もしひもじいならば「床しいししかも歯噛みしない」ということは事実と異なる」物はある fact14: もしある物は食べ合わせるなら「それは荒縄でなくてみっともなくない」ということは嘘だ fact15: 「もしか弱いならば「感染し易いがしかし気化するということはない」ということは誤りである」ものはある fact16: もし仮にこの同条は蔑視するとすると「馬鹿垂れであるがしかし供与しない」ということは本当でない fact17: もしもなにがしかのものが料理出来るならそれは体作りだということはないしその上移行し易いない fact18: もしなにかは蔑視するとすると「それは馬鹿垂れだということはないし供与しない」ということは成り立たない
fact18 -> int1: もし仮にこの同条は蔑視するとしたら「馬鹿垂れでなくてしかも供与しない」ということは成り立たない; int1 -> hypothesis;
「仮に「食べ合わせる」ということは確かならば「荒縄でなくてまたみっともなくない」ということは事実と異なる」ものはある
fact19 -> int2: 「あの子等は食べ合わせる」ということは成り立つなら「荒縄でなくてみっともなくない」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: もし何らかのものは繋がり合うとしたら「使用可能期間でないしそれに保全する」ということは成り立たない fact2: この同条が出し難いとすると統制出来ないししかも馬鹿垂れでない fact3: 「もし仮に蔑視するとしたら「「馬鹿垂れだということはなくて供与する」ということは事実だ」ということは成り立つということはない」物はある fact4: もし仮にこの同条は歯噛みするなら「蔑視しないけど静態化する」ということは嘘だ fact5: 「「もし仮に寄り道するとしたら「改名するということはないけれど見窄らしい」ということは成り立つということはない」物はある」ということは本当だ fact6: もしもとあるものは蔑視すれば「「それは馬鹿垂れでないし供与する」ということは確かである」ということは偽である fact7: 「もしも呪い殺すとすれば「誤認しないけど食べ合わせる」ということは誤っている」物はある fact8: 「もし領収するなら「名草神社であるしかつ分離し易くない」ということは成り立たない」物はある fact9: もし仮にこの同条がこっ酷いならそれは蔑視しなくて更に加筆でない fact10: もしも何らかのものが退職給付債務であるとすれば呪い殺さないしそれは猫股であるということはない fact11: 「もし蔑視すれば「「馬鹿垂れであるしおまけに供与しない」ということは成り立つ」ということは成り立たない」物はある fact12: この同条が蔑視するとしたら馬鹿垂れでないしまた供与しない fact13: 「もしひもじいならば「床しいししかも歯噛みしない」ということは事実と異なる」物はある fact14: もしある物は食べ合わせるなら「それは荒縄でなくてみっともなくない」ということは嘘だ fact15: 「もしか弱いならば「感染し易いがしかし気化するということはない」ということは誤りである」ものはある fact16: もし仮にこの同条は蔑視するとすると「馬鹿垂れであるがしかし供与しない」ということは本当でない fact17: もしもなにがしかのものが料理出来るならそれは体作りだということはないしその上移行し易いない fact18: もしなにかは蔑視するとすると「それは馬鹿垂れだということはないし供与しない」ということは成り立たない ; $hypothesis$ = 「もし仮に蔑視するなら「馬鹿垂れでないしおまけに供与するということはない」ということは成り立たない」物はある ; $proof$ = 
fact18 -> int1: もし仮にこの同条は蔑視するとしたら「馬鹿垂れでなくてしかも供与しない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものは繋がり合うとしたら「使用可能期間でないしそれに保全する」ということは成り立たない
事実2: この同条が出し難いとすると統制出来ないししかも馬鹿垂れでない
事実3: 「もし仮に蔑視するとしたら「「馬鹿垂れだということはなくて供与する」ということは事実だ」ということは成り立つということはない」物はある
事実4: もし仮にこの同条は歯噛みするなら「蔑視しないけど静態化する」ということは嘘だ
事実5: 「「もし仮に寄り道するとしたら「改名するということはないけれど見窄らしい」ということは成り立つということはない」物はある」ということは本当だ
事実6: もしもとあるものは蔑視すれば「「それは馬鹿垂れでないし供与する」ということは確かである」ということは偽である
事実7: 「もしも呪い殺すとすれば「誤認しないけど食べ合わせる」ということは誤っている」物はある
事実8: 「もし領収するなら「名草神社であるしかつ分離し易くない」ということは成り立たない」物はある
事実9: もし仮にこの同条がこっ酷いならそれは蔑視しなくて更に加筆でない
事実10: もしも何らかのものが退職給付債務であるとすれば呪い殺さないしそれは猫股であるということはない
事実11: 「もし蔑視すれば「「馬鹿垂れであるしおまけに供与しない」ということは成り立つ」ということは成り立たない」物はある
事実12: この同条が蔑視するとしたら馬鹿垂れでないしまた供与しない
事実13: 「もしひもじいならば「床しいししかも歯噛みしない」ということは事実と異なる」物はある
事実14: もしある物は食べ合わせるなら「それは荒縄でなくてみっともなくない」ということは嘘だ
事実15: 「もしか弱いならば「感染し易いがしかし気化するということはない」ということは誤りである」ものはある
事実16: もし仮にこの同条は蔑視するとすると「馬鹿垂れであるがしかし供与しない」ということは本当でない
事実17: もしもなにがしかのものが料理出来るならそれは体作りだということはないしその上移行し易いない
事実18: もしなにかは蔑視するとすると「それは馬鹿垂れだということはないし供与しない」ということは成り立たない

仮説: 「もし仮に蔑視するなら「馬鹿垂れでないしおまけに供与するということはない」ということは成り立たない」物はある
1. 事実18から、推論1: "もし仮にこの同条は蔑視するとしたら「馬鹿垂れでなくてしかも供与しない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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