that the brit is not a Prussia but it is a cirio is not right.
sent1: that the nonresident does not bind but it is paradigmatic is not correct. sent2: something is a Prussia if the fact that it is not paradigmatic and convoys sensitizer does not hold. sent3: there exists something such that it does sputter spittoon. sent4: if that the brit is a Prussia or it sputters spittoon or both does not hold then the nonresident is not paradigmatic. sent5: the brit is not a Prussia and is a cirio if the nonresident does not sputter requiescat. sent6: there exists something such that it does sputter requiescat. sent7: the fact that the curate is not a Prussia and binds is wrong. sent8: if something is not paradigmatic then that it does not sputter spittoon and it is not a kind of a bind is wrong. sent9: the fact that the syllabub is not paradigmatic and is a cirio is not true. sent10: if the curate is a Prussia the fact that the brit is not a Prussia but it is a cirio is not correct. sent11: if that either the nonresident is not a bind or it does sputter spittoon or both is not right the syllabub is not paradigmatic. sent12: if the syllabub is a aphakic then the nonresident is not paradigmatic but it convoys sensitizer. sent13: the liverwurst binds. sent14: if that something does not disclose and fragments osmium is not correct then it clanks lancetfish. sent15: the curate does convoy sensitizer if it is a cirio. sent16: if the syllabub is paradigmatic then the fact that the nonresident is paradigmatic and it sputters spittoon is wrong. sent17: that the curate is non-paradigmatic but it does convoy sensitizer is incorrect if the syllabub is not non-paradigmatic. sent18: if there exists something such that it does sputter requiescat the fact that the nonresident is not a bind and/or it sputters spittoon is wrong.
sent6 & sent18 -> int1: the fact that the nonresident is not a bind or it sputters spittoon or both is not right.; int1 & sent11 -> int2: the fact that the syllabub is not paradigmatic hold.; int2 & sent17 -> int3: the fact that the curate is non-paradigmatic thing that does convoy sensitizer does not hold.; sent2 -> int4: the curate is a kind of a Prussia if the fact that it is a kind of non-paradigmatic thing that does convoy sensitizer is wrong.; int3 & int4 -> int5: the curate is a Prussia.; int5 & sent10 -> hypothesis;
the brit is not a Prussia but it is a cirio.
sent8 -> int6: the fact that the nonresident does not sputter spittoon and it does not bind is not right if that it is not paradigmatic hold.;
$hypothesis$ = that the brit is not a Prussia but it is a cirio is not right. ; $context$ = sent1: that the nonresident does not bind but it is paradigmatic is not correct. sent2: something is a Prussia if the fact that it is not paradigmatic and convoys sensitizer does not hold. sent3: there exists something such that it does sputter spittoon. sent4: if that the brit is a Prussia or it sputters spittoon or both does not hold then the nonresident is not paradigmatic. sent5: the brit is not a Prussia and is a cirio if the nonresident does not sputter requiescat. sent6: there exists something such that it does sputter requiescat. sent7: the fact that the curate is not a Prussia and binds is wrong. sent8: if something is not paradigmatic then that it does not sputter spittoon and it is not a kind of a bind is wrong. sent9: the fact that the syllabub is not paradigmatic and is a cirio is not true. sent10: if the curate is a Prussia the fact that the brit is not a Prussia but it is a cirio is not correct. sent11: if that either the nonresident is not a bind or it does sputter spittoon or both is not right the syllabub is not paradigmatic. sent12: if the syllabub is a aphakic then the nonresident is not paradigmatic but it convoys sensitizer. sent13: the liverwurst binds. sent14: if that something does not disclose and fragments osmium is not correct then it clanks lancetfish. sent15: the curate does convoy sensitizer if it is a cirio. sent16: if the syllabub is paradigmatic then the fact that the nonresident is paradigmatic and it sputters spittoon is wrong. sent17: that the curate is non-paradigmatic but it does convoy sensitizer is incorrect if the syllabub is not non-paradigmatic. sent18: if there exists something such that it does sputter requiescat the fact that the nonresident is not a bind and/or it sputters spittoon is wrong. ; $proof$ = 
sent6 & sent18 -> int1: the fact that the nonresident is not a bind or it sputters spittoon or both is not right.; int1 & sent11 -> int2: the fact that the syllabub is not paradigmatic hold.; int2 & sent17 -> int3: the fact that the curate is non-paradigmatic thing that does convoy sensitizer does not hold.; sent2 -> int4: the curate is a kind of a Prussia if the fact that it is a kind of non-paradigmatic thing that does convoy sensitizer is wrong.; int3 & int4 -> int5: the curate is a Prussia.; int5 & sent10 -> hypothesis; __PROVED__