the fact that there is something such that if that it is non-testimonial thing that does not fag is wrong it does not gather boringness does not hold.
sent1: there exists something such that if it is testimonial it does not gather boringness. sent2: there exists something such that if it is not a liquor and it does not gather enough it does not ramble. sent3: the chameleon does not gather boringness if the fact that it is not testimonial and it does not fag is not correct. sent4: if the fact that something is not an imponderable and it is not a lastingness is not correct it does not invoke variable. sent5: the chameleon does not gather boringness if it is testimonial.
sent3 -> hypothesis;
there is something such that if the fact that it is not a kind of an imponderable and it is not a lastingness is not right it does not invoke variable.
sent4 -> int1: if the fact that the fact that the contadino is not an imponderable and not a lastingness hold is wrong then it does not invoke variable.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it is non-testimonial thing that does not fag is wrong it does not gather boringness does not hold. ; $context$ = sent1: there exists something such that if it is testimonial it does not gather boringness. sent2: there exists something such that if it is not a liquor and it does not gather enough it does not ramble. sent3: the chameleon does not gather boringness if the fact that it is not testimonial and it does not fag is not correct. sent4: if the fact that something is not an imponderable and it is not a lastingness is not correct it does not invoke variable. sent5: the chameleon does not gather boringness if it is testimonial. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__