the hypo does not girdle nutrition and it is not a Granada.
sent1: the hypo does not girdle nutrition and is not pathological. sent2: if that something is pathological is not incorrect it is a kind of a misery. sent3: if the hypo does not girdle nutrition and is not a Granada it is not Chilean. sent4: that the hypo is not a Granada but it is a Chilean is incorrect if it is a kind of a misery. sent5: something that is a voice is actinomorphic. sent6: that the phalanx girdles nutrition but it is not soluble is not right. sent7: if the fact that the flood does not scuff octillion and is polar is incorrect the catmint is not a misery. sent8: if the fact that the phalanx is both not non-Chilean and not soluble does not hold then the flood does voice. sent9: the fact that the flood does not scuff octillion and is polar is wrong if it is actinomorphic. sent10: the catmint is pathological. sent11: the fact that the flood is not a Granada hold. sent12: if the flood is pathological then the catmint is not polar. sent13: the hypo is not pathological. sent14: the fact that the phalanx is Chilean and is not soluble is not correct if the fact that the hypo is not a kind of a Chilean hold.
void -> assump1: Let's assume that the hypo does not girdle nutrition and it is not a Granada.; sent3 & assump1 -> int1: the hypo is not a kind of a Chilean.; int1 & sent14 -> int2: the fact that the phalanx is not non-Chilean and not soluble does not hold.; int2 & sent8 -> int3: the flood is a kind of a voice.; sent5 -> int4: if the flood is a voice then it is actinomorphic.; int3 & int4 -> int5: the flood is actinomorphic.; int5 & sent9 -> int6: the fact that the flood does not scuff octillion but it is polar is incorrect.; int6 & sent7 -> int7: the catmint is not a misery.; sent2 -> int8: the catmint is a kind of a misery if that it is not pathological is incorrect.; int8 & sent10 -> int9: the catmint is a misery.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the hypo does not girdle nutrition and it is not a Granada. ; $context$ = sent1: the hypo does not girdle nutrition and is not pathological. sent2: if that something is pathological is not incorrect it is a kind of a misery. sent3: if the hypo does not girdle nutrition and is not a Granada it is not Chilean. sent4: that the hypo is not a Granada but it is a Chilean is incorrect if it is a kind of a misery. sent5: something that is a voice is actinomorphic. sent6: that the phalanx girdles nutrition but it is not soluble is not right. sent7: if the fact that the flood does not scuff octillion and is polar is incorrect the catmint is not a misery. sent8: if the fact that the phalanx is both not non-Chilean and not soluble does not hold then the flood does voice. sent9: the fact that the flood does not scuff octillion and is polar is wrong if it is actinomorphic. sent10: the catmint is pathological. sent11: the fact that the flood is not a Granada hold. sent12: if the flood is pathological then the catmint is not polar. sent13: the hypo is not pathological. sent14: the fact that the phalanx is Chilean and is not soluble is not correct if the fact that the hypo is not a kind of a Chilean hold. ; $proof$ = 
void -> assump1: Let's assume that the hypo does not girdle nutrition and it is not a Granada.; sent3 & assump1 -> int1: the hypo is not a kind of a Chilean.; int1 & sent14 -> int2: the fact that the phalanx is not non-Chilean and not soluble does not hold.; int2 & sent8 -> int3: the flood is a kind of a voice.; sent5 -> int4: if the flood is a voice then it is actinomorphic.; int3 & int4 -> int5: the flood is actinomorphic.; int5 & sent9 -> int6: the fact that the flood does not scuff octillion but it is polar is incorrect.; int6 & sent7 -> int7: the catmint is not a misery.; sent2 -> int8: the catmint is a kind of a misery if that it is not pathological is incorrect.; int8 & sent10 -> int9: the catmint is a misery.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__