the filter is curable.
sent1: there is something such that that it is a credence that is not non-irrelevant does not hold. sent2: if something is exaugural then it quadruples. sent3: the stingray does clean ghrelin and is calcifugous if it is not a credence. sent4: if something is a kind of a Minoan the stingray does clean ghrelin. sent5: the fact that the tremolite is not a credence but irrelevant is not right. sent6: if there exists something such that it is a kind of a Minoan then the stingray does clean ghrelin and it is exaugural. sent7: the stingray is not a quadruple if the filter is procedural and it does cremate stingray. sent8: if the fact that something is calcifugous and it is a quadruple does not hold then it does not quadruple. sent9: something does not cremate stingray but it is procedural if it is not a kind of a quadruple. sent10: there is something such that it is a kind of a Minoan. sent11: something that does not cremate stingray is an incurable that is not non-calcifugous. sent12: the tremolite does not clean ghrelin. sent13: the filter is procedural if there is something such that the fact that it is both not a credence and irrelevant does not hold.
sent5 -> int1: there is something such that that it is both not a credence and irrelevant is false.; int1 & sent13 -> int2: the filter is procedural.; void -> assump1: Let's assume that the filter cremates stingray.; int2 & assump1 -> int3: the filter is procedural and does cremate stingray.; int3 & sent7 -> int4: the stingray is not a quadruple.; sent2 -> int5: the stingray is a quadruple if it is exaugural.; sent10 & sent6 -> int6: the stingray does clean ghrelin and it is exaugural.; int6 -> int7: the stingray is exaugural.; int5 & int7 -> int8: the stingray is a quadruple.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the filter does not cremate stingray.; sent11 -> int11: if the filter does not cremate stingray it is an incurable that is calcifugous.; int10 & int11 -> int12: the filter is a kind of incurable thing that is calcifugous.; int12 -> hypothesis;
the filter is not an incurable.
sent9 -> int13: if the Hun is not a quadruple then the fact that it does not cremate stingray and is procedural is not wrong.; sent8 -> int14: if that the Hun is calcifugous and it does quadruple is wrong it does not quadruple.;
$hypothesis$ = the filter is curable. ; $context$ = sent1: there is something such that that it is a credence that is not non-irrelevant does not hold. sent2: if something is exaugural then it quadruples. sent3: the stingray does clean ghrelin and is calcifugous if it is not a credence. sent4: if something is a kind of a Minoan the stingray does clean ghrelin. sent5: the fact that the tremolite is not a credence but irrelevant is not right. sent6: if there exists something such that it is a kind of a Minoan then the stingray does clean ghrelin and it is exaugural. sent7: the stingray is not a quadruple if the filter is procedural and it does cremate stingray. sent8: if the fact that something is calcifugous and it is a quadruple does not hold then it does not quadruple. sent9: something does not cremate stingray but it is procedural if it is not a kind of a quadruple. sent10: there is something such that it is a kind of a Minoan. sent11: something that does not cremate stingray is an incurable that is not non-calcifugous. sent12: the tremolite does not clean ghrelin. sent13: the filter is procedural if there is something such that the fact that it is both not a credence and irrelevant does not hold. ; $proof$ = 
sent5 -> int1: there is something such that that it is both not a credence and irrelevant is false.; int1 & sent13 -> int2: the filter is procedural.; void -> assump1: Let's assume that the filter cremates stingray.; int2 & assump1 -> int3: the filter is procedural and does cremate stingray.; int3 & sent7 -> int4: the stingray is not a quadruple.; sent2 -> int5: the stingray is a quadruple if it is exaugural.; sent10 & sent6 -> int6: the stingray does clean ghrelin and it is exaugural.; int6 -> int7: the stingray is exaugural.; int5 & int7 -> int8: the stingray is a quadruple.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the filter does not cremate stingray.; sent11 -> int11: if the filter does not cremate stingray it is an incurable that is calcifugous.; int10 & int11 -> int12: the filter is a kind of incurable thing that is calcifugous.; int12 -> hypothesis; __DISPROVED__