the fact that there exists something such that if the fact that it is a kind of non-higher thing that does refract is not true it does not knead is not right.
sent1: something does not knead if the fact that it is a kind of non-higher thing that does refract is incorrect. sent2: if the plantain is higher it does not knead. sent3: if something that is not higher refracts it does not knead. sent4: there is something such that if it is higher it does not knead. sent5: the plantain kneads if the fact that it is non-higher thing that does refract is not right. sent6: something kneads if that it is not higher and does refract does not hold. sent7: there is something such that if it is not a kind of a Vienne and it is a kind of a NASA it is not Lusitanian. sent8: if the plantain is not higher and refracts then it does not knead. sent9: something does not knead if it is higher. sent10: there is something such that if it is not higher and refracts it does not knead. sent11: there is something such that if the fact that it does not salve holography is correct then that it is not a stunt is correct.
sent1 -> int1: the plantain does not knead if that it is non-higher and it does refract is not true.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is a kind of non-higher thing that does refract is not true it does not knead is not right. ; $context$ = sent1: something does not knead if the fact that it is a kind of non-higher thing that does refract is incorrect. sent2: if the plantain is higher it does not knead. sent3: if something that is not higher refracts it does not knead. sent4: there is something such that if it is higher it does not knead. sent5: the plantain kneads if the fact that it is non-higher thing that does refract is not right. sent6: something kneads if that it is not higher and does refract does not hold. sent7: there is something such that if it is not a kind of a Vienne and it is a kind of a NASA it is not Lusitanian. sent8: if the plantain is not higher and refracts then it does not knead. sent9: something does not knead if it is higher. sent10: there is something such that if it is not higher and refracts it does not knead. sent11: there is something such that if the fact that it does not salve holography is correct then that it is not a stunt is correct. ; $proof$ = 
sent1 -> int1: the plantain does not knead if that it is non-higher and it does refract is not true.; int1 -> hypothesis; __DISPROVED__