the sclerotium is mayoral thing that claws airship.
sent1: there exists something such that it is not a ventriloquist. sent2: the fact that the sclerotium is not a complicatedness but it is recoverable does not hold if the anvil does not corrode stereoscope. sent3: if there is something such that that it does blot and it does claw Musca is wrong then the Saudi is not a finance. sent4: the sclerotium claws airship if it is not recoverable. sent5: the anvil does not corrode stereoscope. sent6: the fact that the sclerotium is mayoral and claws airship does not hold if the stob is not a ventriloquist. sent7: the Saudi does not finance if there exists something such that it does not claw Musca. sent8: The stereoscope does not corrode anvil. sent9: the fact that the stob is a blot and it does claw Musca is not correct if something is not a kind of a ventriloquist. sent10: if the Saudi is not a kind of a finance the sclerotium is mayoral and it does finance. sent11: the sclerotium claws airship if the fact that it is both not a complicatedness and not unrecoverable is not correct.
sent1 & sent9 -> int1: the fact that the stob does blot and it does claw Musca does not hold.; int1 -> int2: there exists something such that the fact that it blots and it does claw Musca is wrong.; int2 & sent3 -> int3: the Saudi is not a kind of a finance.; int3 & sent10 -> int4: the sclerotium is mayoral thing that does finance.; int4 -> int5: the sclerotium is mayoral.; sent2 & sent5 -> int6: the fact that the sclerotium is both not a complicatedness and recoverable does not hold.; sent11 & int6 -> int7: the sclerotium claws airship.; int5 & int7 -> hypothesis;
that the sclerotium is mayoral and it does claw airship does not hold.
$hypothesis$ = the sclerotium is mayoral thing that claws airship. ; $context$ = sent1: there exists something such that it is not a ventriloquist. sent2: the fact that the sclerotium is not a complicatedness but it is recoverable does not hold if the anvil does not corrode stereoscope. sent3: if there is something such that that it does blot and it does claw Musca is wrong then the Saudi is not a finance. sent4: the sclerotium claws airship if it is not recoverable. sent5: the anvil does not corrode stereoscope. sent6: the fact that the sclerotium is mayoral and claws airship does not hold if the stob is not a ventriloquist. sent7: the Saudi does not finance if there exists something such that it does not claw Musca. sent8: The stereoscope does not corrode anvil. sent9: the fact that the stob is a blot and it does claw Musca is not correct if something is not a kind of a ventriloquist. sent10: if the Saudi is not a kind of a finance the sclerotium is mayoral and it does finance. sent11: the sclerotium claws airship if the fact that it is both not a complicatedness and not unrecoverable is not correct. ; $proof$ = 
sent1 & sent9 -> int1: the fact that the stob does blot and it does claw Musca does not hold.; int1 -> int2: there exists something such that the fact that it blots and it does claw Musca is wrong.; int2 & sent3 -> int3: the Saudi is not a kind of a finance.; int3 & sent10 -> int4: the sclerotium is mayoral thing that does finance.; int4 -> int5: the sclerotium is mayoral.; sent2 & sent5 -> int6: the fact that the sclerotium is both not a complicatedness and recoverable does not hold.; sent11 & int6 -> int7: the sclerotium claws airship.; int5 & int7 -> hypothesis; __PROVED__