that there exists something such that if it does not equal the fact that it is not propagative and it is not a farmerette does not hold does not hold.
sent1: there is something such that if it is not equal then that it is not propagative and is a farmerette is not correct. sent2: the billfish is not propagative and is not a farmerette if it does not equal. sent3: if something is not blastomeric that it does not camp snuffle and is not acanthotic is not right. sent4: if the billfish does not equal that it is not propagative and it is a farmerette does not hold. sent5: if something is not equal that it is not propagative and it is not a farmerette is incorrect. sent6: if something is unequal then the fact that it is not propagative and it is a farmerette is not true. sent7: there exists something such that if it does not equal then it is not propagative and it is not a farmerette. sent8: there exists something such that if it is equal then that that it is not propagative and it is not a farmerette is not wrong is false. sent9: if something does not equal that it is both propagative and not a farmerette is wrong. sent10: that the fact that the billfish is propagative but it is not a kind of a farmerette does not hold hold if it is not equal. sent11: there is something such that if the fact that it is not equal is not wrong then that it is propagative and it is not a farmerette is incorrect. sent12: that something is not propagative and is not a kind of a farmerette hold if it is not equal. sent13: if the billfish equals that it is not propagative and is not a kind of a farmerette is not correct.
sent5 -> int1: the fact that the billfish is both not propagative and not a farmerette is not true if it is not equal.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not equal the fact that it is not propagative and it is not a farmerette does not hold does not hold. ; $context$ = sent1: there is something such that if it is not equal then that it is not propagative and is a farmerette is not correct. sent2: the billfish is not propagative and is not a farmerette if it does not equal. sent3: if something is not blastomeric that it does not camp snuffle and is not acanthotic is not right. sent4: if the billfish does not equal that it is not propagative and it is a farmerette does not hold. sent5: if something is not equal that it is not propagative and it is not a farmerette is incorrect. sent6: if something is unequal then the fact that it is not propagative and it is a farmerette is not true. sent7: there exists something such that if it does not equal then it is not propagative and it is not a farmerette. sent8: there exists something such that if it is equal then that that it is not propagative and it is not a farmerette is not wrong is false. sent9: if something does not equal that it is both propagative and not a farmerette is wrong. sent10: that the fact that the billfish is propagative but it is not a kind of a farmerette does not hold hold if it is not equal. sent11: there is something such that if the fact that it is not equal is not wrong then that it is propagative and it is not a farmerette is incorrect. sent12: that something is not propagative and is not a kind of a farmerette hold if it is not equal. sent13: if the billfish equals that it is not propagative and is not a kind of a farmerette is not correct. ; $proof$ = 
sent5 -> int1: the fact that the billfish is both not propagative and not a farmerette is not true if it is not equal.; int1 -> hypothesis; __DISPROVED__