that something is not a pliancy is wrong.
sent1: there exists something such that it is a pliancy and is not a numbers. sent2: there is something such that that it is a pierid and it is a numbers does not hold. sent3: there exists something such that the fact that it is a numbers and it is a kind of a pliancy does not hold. sent4: the Iranian is a pliancy if there is something such that the fact that it is a pierid and is not a numbers is incorrect. sent5: there is something such that the fact that that it is both nonionic and not a Pneumovax is not false is not true. sent6: there exists something such that it does number. sent7: the Iranian is a numbers if there is something such that that it is nonionic and it is not a Pneumovax is wrong. sent8: that the windmill is a rape but it is not a pliancy is incorrect. sent9: the Uzi is not a penitent. sent10: the Uzi is not a pliancy if that it is a pierid and not a numbers does not hold. sent11: if the Uzi is a kind of a numbers that the fact that the Iranian is a pierid and a numbers is right is false. sent12: the tallyman is a pliancy. sent13: that the Uzi is a pierid but it is not a kind of a numbers is not true if the Iranian does numbers.
sent5 & sent7 -> int1: the Iranian does number.; int1 & sent13 -> int2: that the Uzi is a pierid but it does not number is not true.; int2 & sent10 -> int3: that the Uzi is not a kind of a pliancy is true.; int3 -> hypothesis;
$hypothesis$ = that something is not a pliancy is wrong. ; $context$ = sent1: there exists something such that it is a pliancy and is not a numbers. sent2: there is something such that that it is a pierid and it is a numbers does not hold. sent3: there exists something such that the fact that it is a numbers and it is a kind of a pliancy does not hold. sent4: the Iranian is a pliancy if there is something such that the fact that it is a pierid and is not a numbers is incorrect. sent5: there is something such that the fact that that it is both nonionic and not a Pneumovax is not false is not true. sent6: there exists something such that it does number. sent7: the Iranian is a numbers if there is something such that that it is nonionic and it is not a Pneumovax is wrong. sent8: that the windmill is a rape but it is not a pliancy is incorrect. sent9: the Uzi is not a penitent. sent10: the Uzi is not a pliancy if that it is a pierid and not a numbers does not hold. sent11: if the Uzi is a kind of a numbers that the fact that the Iranian is a pierid and a numbers is right is false. sent12: the tallyman is a pliancy. sent13: that the Uzi is a pierid but it is not a kind of a numbers is not true if the Iranian does numbers. ; $proof$ = 
sent5 & sent7 -> int1: the Iranian does number.; int1 & sent13 -> int2: that the Uzi is a pierid but it does not number is not true.; int2 & sent10 -> int3: that the Uzi is not a kind of a pliancy is true.; int3 -> hypothesis; __DISPROVED__