「もし仮に除するししかもややこしいとすれば引き立たない」ものはある
fact1: 「除するし更にややこしいとすれば引き立つ」物はある fact2: もしもその讃岐饂飩は除するしややこしいとすればそれは引き立つ fact3: 「仮に母親同士でそれに掴み易いなら「石礫でない」ということは嘘でない」物はある fact4: 「書くしおまけにファーミングであるとすると「入れ易くない」ということは成り立つ」物はある fact5: 「取り出し易いししかも御安心下さるとすると文房具店でない」ものはある fact6: 「泥状で加えて通じ易いとしたら立案でない」ものはある fact7: もし「その軸ラベルは付け替えるしそれに引き立つ」ということは本当であるならそれは概説でない fact8: 「もし仮に憎らしくて加えて恋しいとしたら立案であるということはない」物はある fact9: もしもその讃岐饂飩が除するしその上それがややこしいとすればそれは引き立たない fact10: もし把握し難い物は古めかしいならば「それは立案であるということはない」ということは成り立つ fact11: その讃岐饂飩は刷り上がるし加えて痛々しいならばそれは除するということはない
fact9 -> hypothesis;
「もし仮に把握し難いしかつ古めかしいとすると立案でない」ものはある
fact12 -> int1: もしこの下種野郎は把握し難くて古めかしいならそれは立案でない; int1 -> hypothesis;
$facts$ = fact1: 「除するし更にややこしいとすれば引き立つ」物はある fact2: もしもその讃岐饂飩は除するしややこしいとすればそれは引き立つ fact3: 「仮に母親同士でそれに掴み易いなら「石礫でない」ということは嘘でない」物はある fact4: 「書くしおまけにファーミングであるとすると「入れ易くない」ということは成り立つ」物はある fact5: 「取り出し易いししかも御安心下さるとすると文房具店でない」ものはある fact6: 「泥状で加えて通じ易いとしたら立案でない」ものはある fact7: もし「その軸ラベルは付け替えるしそれに引き立つ」ということは本当であるならそれは概説でない fact8: 「もし仮に憎らしくて加えて恋しいとしたら立案であるということはない」物はある fact9: もしもその讃岐饂飩が除するしその上それがややこしいとすればそれは引き立たない fact10: もし把握し難い物は古めかしいならば「それは立案であるということはない」ということは成り立つ fact11: その讃岐饂飩は刷り上がるし加えて痛々しいならばそれは除するということはない ; $hypothesis$ = 「もし仮に除するししかもややこしいとすれば引き立たない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「除するし更にややこしいとすれば引き立つ」物はある
事実2: もしもその讃岐饂飩は除するしややこしいとすればそれは引き立つ
事実3: 「仮に母親同士でそれに掴み易いなら「石礫でない」ということは嘘でない」物はある
事実4: 「書くしおまけにファーミングであるとすると「入れ易くない」ということは成り立つ」物はある
事実5: 「取り出し易いししかも御安心下さるとすると文房具店でない」ものはある
事実6: 「泥状で加えて通じ易いとしたら立案でない」ものはある
事実7: もし「その軸ラベルは付け替えるしそれに引き立つ」ということは本当であるならそれは概説でない
事実8: 「もし仮に憎らしくて加えて恋しいとしたら立案であるということはない」物はある
事実9: もしもその讃岐饂飩が除するしその上それがややこしいとすればそれは引き立たない
事実10: もし把握し難い物は古めかしいならば「それは立案であるということはない」ということは成り立つ
事実11: その讃岐饂飩は刷り上がるし加えて痛々しいならばそれは除するということはない

仮説: 「もし仮に除するししかもややこしいとすれば引き立たない」ものはある
1. 事実9から、仮説が導かれる

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