there exists something such that the fact that it is not an alteration and/or is not a kind of a descant is wrong.
sent1: the helminth is an alteration if it is not a cubist and it is a limit. sent2: the EU is a descant if the helminth is an alteration. sent3: something is an alteration. sent4: something that limits is a kind of cubist thing that does not frighten Cabomba. sent5: the catalase is neurotropic and a limit. sent6: if something frightens Cabomba it is mindless and it is not a descant. sent7: there exists something such that the fact that the fact that it either is an alteration or does not descant or both is correct is wrong. sent8: if something does not think FNMA it is not mindless. sent9: the catalase does not frighten Cabomba. sent10: something is a kind of a descant. sent11: the catalase is neurotropic. sent12: if the catalase is a limit then it does not frighten Cabomba. sent13: something does not think ceruse and it does not frighten Cabomba if it descants. sent14: the caustic is a kind of an alteration if the helminth does not think ceruse. sent15: the fact that the helminth is a kind of mindless thing that does think FNMA hold. sent16: that the caustic is not a kind of an alteration and/or does not descant is not correct if that the helminth does not think ceruse is not incorrect. sent17: if the catalase is not non-cubist and it does frighten Cabomba the situation frighten Cabomba. sent18: there exists something such that the fact that it is not an alteration or it does descant or both does not hold. sent19: if the helminth does think FNMA and does think ceruse the situation does not frighten Cabomba. sent20: if something is a kind of a limit then it does not frighten Cabomba.
sent15 -> int1: the helminth thinks FNMA.; void -> assump1: Let's assume that the helminth does think ceruse.; int1 & assump1 -> int2: the helminth thinks FNMA and thinks ceruse.; int2 & sent19 -> int3: the situation does not frighten Cabomba.; sent4 -> int4: the catalase is a kind of a cubist but it does not frighten Cabomba if it is a limit.; sent5 -> int5: the catalase is a limit.; int4 & int5 -> int6: the catalase is cubist thing that does not frighten Cabomba.;
the EU is not mindless.
sent8 -> int7: if the EU does not think FNMA then the fact that it is not mindless hold.; sent13 -> int8: the EU does not think ceruse and does not frighten Cabomba if it is a descant.;
$hypothesis$ = there exists something such that the fact that it is not an alteration and/or is not a kind of a descant is wrong. ; $context$ = sent1: the helminth is an alteration if it is not a cubist and it is a limit. sent2: the EU is a descant if the helminth is an alteration. sent3: something is an alteration. sent4: something that limits is a kind of cubist thing that does not frighten Cabomba. sent5: the catalase is neurotropic and a limit. sent6: if something frightens Cabomba it is mindless and it is not a descant. sent7: there exists something such that the fact that the fact that it either is an alteration or does not descant or both is correct is wrong. sent8: if something does not think FNMA it is not mindless. sent9: the catalase does not frighten Cabomba. sent10: something is a kind of a descant. sent11: the catalase is neurotropic. sent12: if the catalase is a limit then it does not frighten Cabomba. sent13: something does not think ceruse and it does not frighten Cabomba if it descants. sent14: the caustic is a kind of an alteration if the helminth does not think ceruse. sent15: the fact that the helminth is a kind of mindless thing that does think FNMA hold. sent16: that the caustic is not a kind of an alteration and/or does not descant is not correct if that the helminth does not think ceruse is not incorrect. sent17: if the catalase is not non-cubist and it does frighten Cabomba the situation frighten Cabomba. sent18: there exists something such that the fact that it is not an alteration or it does descant or both does not hold. sent19: if the helminth does think FNMA and does think ceruse the situation does not frighten Cabomba. sent20: if something is a kind of a limit then it does not frighten Cabomba. ; $proof$ = 
sent15 -> int1: the helminth thinks FNMA.; void -> assump1: Let's assume that the helminth does think ceruse.; int1 & assump1 -> int2: the helminth thinks FNMA and thinks ceruse.; int2 & sent19 -> int3: the situation does not frighten Cabomba.; sent4 -> int4: the catalase is a kind of a cubist but it does not frighten Cabomba if it is a limit.; sent5 -> int5: the catalase is a limit.; int4 & int5 -> int6: the catalase is cubist thing that does not frighten Cabomba.; __UNKNOWN__