the claystone does not hunger kalansuwa.
sent1: something does burglarize Namur if it is a kind of a Rothko. sent2: if something is not a kind of a serfdom it does not overpay. sent3: the sole is not animate if the fact that it does burglarize Namur and it is not a kind of a Rothko is not wrong. sent4: that the folderal is a Rothko hold. sent5: the sole is not a Rothko. sent6: the claystone is a serfdom. sent7: if the claystone bestows then the sole does animate. sent8: the sole burglarizes Namur but it is not a kind of a Rothko. sent9: the claystone bestows if it does not overpay. sent10: the claystone does not hunger kalansuwa if it is a serfdom and it is not a nostoc. sent11: if the claystone is not a kind of a serfdom then it does not overpay. sent12: that something does not burglarize Namur and is a Rothko does not hold if it is bathyal. sent13: the fact that the claystone does not burglarize Namur hold. sent14: if the fact that something is a serfdom but it is not a nostoc is false it does not overpay. sent15: the folderal is bathyal. sent16: if the folderal is not animate the fact that the sole does bestow and does not overpay does not hold. sent17: the fact that if the sole burglarizes Namur and is the Rothko the sole is not animate is not false.
sent14 -> int1: the claystone does not overpay if that it is a serfdom that is not a kind of a nostoc is wrong.; void -> assump1: Let's assume that the fact that the claystone is a serfdom but it is not a kind of a nostoc is false.; int1 & assump1 -> int2: the claystone does not overpay.; int2 & sent9 -> int3: the claystone bestows.; int3 & sent7 -> int4: the sole does animate.; sent3 & sent8 -> int5: that the sole does not animate hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the claystone is a serfdom but it is not a nostoc.; int7 & sent10 -> hypothesis;
the tugboat is not a nostoc.
sent1 -> int8: if the folderal is a Rothko it burglarizes Namur.; int8 & sent4 -> int9: the folderal burglarizes Namur.;
$hypothesis$ = the claystone does not hunger kalansuwa. ; $context$ = sent1: something does burglarize Namur if it is a kind of a Rothko. sent2: if something is not a kind of a serfdom it does not overpay. sent3: the sole is not animate if the fact that it does burglarize Namur and it is not a kind of a Rothko is not wrong. sent4: that the folderal is a Rothko hold. sent5: the sole is not a Rothko. sent6: the claystone is a serfdom. sent7: if the claystone bestows then the sole does animate. sent8: the sole burglarizes Namur but it is not a kind of a Rothko. sent9: the claystone bestows if it does not overpay. sent10: the claystone does not hunger kalansuwa if it is a serfdom and it is not a nostoc. sent11: if the claystone is not a kind of a serfdom then it does not overpay. sent12: that something does not burglarize Namur and is a Rothko does not hold if it is bathyal. sent13: the fact that the claystone does not burglarize Namur hold. sent14: if the fact that something is a serfdom but it is not a nostoc is false it does not overpay. sent15: the folderal is bathyal. sent16: if the folderal is not animate the fact that the sole does bestow and does not overpay does not hold. sent17: the fact that if the sole burglarizes Namur and is the Rothko the sole is not animate is not false. ; $proof$ = 
sent14 -> int1: the claystone does not overpay if that it is a serfdom that is not a kind of a nostoc is wrong.; void -> assump1: Let's assume that the fact that the claystone is a serfdom but it is not a kind of a nostoc is false.; int1 & assump1 -> int2: the claystone does not overpay.; int2 & sent9 -> int3: the claystone bestows.; int3 & sent7 -> int4: the sole does animate.; sent3 & sent8 -> int5: that the sole does not animate hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the claystone is a serfdom but it is not a nostoc.; int7 & sent10 -> hypothesis; __PROVED__