the fact that there exists something such that if the fact that that it is not an undress and it is not a clericalist hold does not hold then it does groove spearhead is not true.
sent1: the plier grooves spearhead if it is not an undress and is not a kind of a clericalist. sent2: there exists something such that if it is not a kind of an undress and it is not a clericalist then it does groove spearhead. sent3: something is a laryngismus if the fact that it is not spartan and not Marxist does not hold. sent4: the fact that there is something such that if that it is a kind of non-ugly thing that is not a candlepower is not right then it sights trailhead hold. sent5: there exists something such that if that it is not a kind of an undress and it is a clericalist is not correct then it grooves spearhead. sent6: the plier grooves spearhead if that it is not a kind of an undress and it is not a clericalist does not hold.
sent6 -> hypothesis;
there is something such that if the fact that it is non-spartan and is not a Marxist does not hold then it is a kind of a laryngismus.
sent3 -> int1: the extinction is a laryngismus if the fact that it is not spartan and is not Marxist is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that that it is not an undress and it is not a clericalist hold does not hold then it does groove spearhead is not true. ; $context$ = sent1: the plier grooves spearhead if it is not an undress and is not a kind of a clericalist. sent2: there exists something such that if it is not a kind of an undress and it is not a clericalist then it does groove spearhead. sent3: something is a laryngismus if the fact that it is not spartan and not Marxist does not hold. sent4: the fact that there is something such that if that it is a kind of non-ugly thing that is not a candlepower is not right then it sights trailhead hold. sent5: there exists something such that if that it is not a kind of an undress and it is a clericalist is not correct then it grooves spearhead. sent6: the plier grooves spearhead if that it is not a kind of an undress and it is not a clericalist does not hold. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__