the fact that there exists something such that if that it is a Phyllodoce that is a Catholicism does not hold it is not a sharp is false.
sent1: if that the cosmid is a Phyllodoce and it is a Catholicism is not false then it is not sharp. sent2: if the fact that something is a Phyllodoce and it is a Catholicism is incorrect it is a sharp. sent3: there exists something such that if it is not a Phyllodoce then it is not a kind of a sharp. sent4: the cosmid is not a wedgie if the fact that it subtilizes and it is unintelligent is not right. sent5: if the fact that something is a Phyllodoce and it is a Catholicism is false the fact that it is not sharp is correct. sent6: there exists something such that if the fact that it is a kind of a Phyllodoce that is a kind of a Catholicism is wrong it is a sharp. sent7: if that the cittern is a kind of a Catholicism and it is a pyromancer is incorrect then it does repress five-spot. sent8: there is something such that if it is a Phyllodoce and is a kind of a Catholicism it is not a sharp. sent9: if something is a kind of a Phyllodoce and is a Catholicism it is not sharp. sent10: if that the cosmid is not non-Kazakhstani and is uncontroversial is not right it is not a sharp. sent11: there is something such that if it is not a Catholicism then it is not a sharp. sent12: the cosmid is sharp if the fact that it is a Phyllodoce that is a kind of a Catholicism does not hold. sent13: if the fact that the cosmid is not a Phyllodoce is correct it is not sharp.
sent5 -> int1: if that the cosmid is a kind of a Phyllodoce that is a Catholicism is false then it is not a kind of a sharp.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is a Phyllodoce that is a Catholicism does not hold it is not a sharp is false. ; $context$ = sent1: if that the cosmid is a Phyllodoce and it is a Catholicism is not false then it is not sharp. sent2: if the fact that something is a Phyllodoce and it is a Catholicism is incorrect it is a sharp. sent3: there exists something such that if it is not a Phyllodoce then it is not a kind of a sharp. sent4: the cosmid is not a wedgie if the fact that it subtilizes and it is unintelligent is not right. sent5: if the fact that something is a Phyllodoce and it is a Catholicism is false the fact that it is not sharp is correct. sent6: there exists something such that if the fact that it is a kind of a Phyllodoce that is a kind of a Catholicism is wrong it is a sharp. sent7: if that the cittern is a kind of a Catholicism and it is a pyromancer is incorrect then it does repress five-spot. sent8: there is something such that if it is a Phyllodoce and is a kind of a Catholicism it is not a sharp. sent9: if something is a kind of a Phyllodoce and is a Catholicism it is not sharp. sent10: if that the cosmid is not non-Kazakhstani and is uncontroversial is not right it is not a sharp. sent11: there is something such that if it is not a Catholicism then it is not a sharp. sent12: the cosmid is sharp if the fact that it is a Phyllodoce that is a kind of a Catholicism does not hold. sent13: if the fact that the cosmid is not a Phyllodoce is correct it is not sharp. ; $proof$ = 
sent5 -> int1: if that the cosmid is a kind of a Phyllodoce that is a Catholicism is false then it is not a kind of a sharp.; int1 -> hypothesis; __DISPROVED__