there is something such that if it does not congratulate icaco then it is not concave.
sent1: the shrimper is not a kind of a isoagglutination and does not overrefine Beaverbrook if it does not congratulate icaco. sent2: there exists something such that if it does congratulate icaco then it is not concave. sent3: the shrimper is both a packinghouse and a pepperwort if it is not xerographic. sent4: there exists something such that if it is non-immunological then that it is concave is right. sent5: if the shrimper does not congratulate icaco then it is not immunological and it is concave. sent6: that the shrimper is concave is not incorrect if it does not congratulate icaco. sent7: the shrimper is not immunological if it does not congratulate icaco. sent8: if the shrimper does congratulate icaco then it is not concave. sent9: something is not a kind of a pleurisy and is not a kind of a laurel-tree if it does congratulate icaco. sent10: the shrimper is non-immunological thing that is not concave if it does not congratulate icaco. sent11: the shrimper is not a kind of a rustic. sent12: if the shrimper does congratulate icaco it is not immunological and is not concave. sent13: if the brail is not unprovocative then it is not a vertebrate. sent14: the fact that the shrimper is not the admirer if the shrimper is not a kind of a plan is right. sent15: the shrimper is not immunological. sent16: the shrimper is both not a boast and not a Malacanthidae. sent17: there is something such that if it does not congratulate icaco it is concave. sent18: there is something such that if that it does not refine hold then it is not pineal. sent19: the drawers is xerographic and a packinghouse. sent20: there is something such that if it is not concave then it is not immunological. sent21: the protozoologist is a kind of a pepperwort and/or it is not antemeridian if the drawers is a kind of a packinghouse.
void -> assump1: Let's assume that the shrimper does not congratulate icaco.; sent10 & assump1 -> int1: the shrimper is non-immunological thing that is not concave.; int1 -> int2: the shrimper is not concave.; [assump1] & int2 -> int3: if the shrimper does not congratulate icaco then it is not concave.; int3 -> hypothesis;
the epiphyllum is not a kind of a pleurisy and it is not a kind of a laurel-tree.
sent9 -> int4: if the epiphyllum congratulates icaco then it is not a kind of a pleurisy and it is not a laurel-tree.;
$hypothesis$ = there is something such that if it does not congratulate icaco then it is not concave. ; $context$ = sent1: the shrimper is not a kind of a isoagglutination and does not overrefine Beaverbrook if it does not congratulate icaco. sent2: there exists something such that if it does congratulate icaco then it is not concave. sent3: the shrimper is both a packinghouse and a pepperwort if it is not xerographic. sent4: there exists something such that if it is non-immunological then that it is concave is right. sent5: if the shrimper does not congratulate icaco then it is not immunological and it is concave. sent6: that the shrimper is concave is not incorrect if it does not congratulate icaco. sent7: the shrimper is not immunological if it does not congratulate icaco. sent8: if the shrimper does congratulate icaco then it is not concave. sent9: something is not a kind of a pleurisy and is not a kind of a laurel-tree if it does congratulate icaco. sent10: the shrimper is non-immunological thing that is not concave if it does not congratulate icaco. sent11: the shrimper is not a kind of a rustic. sent12: if the shrimper does congratulate icaco it is not immunological and is not concave. sent13: if the brail is not unprovocative then it is not a vertebrate. sent14: the fact that the shrimper is not the admirer if the shrimper is not a kind of a plan is right. sent15: the shrimper is not immunological. sent16: the shrimper is both not a boast and not a Malacanthidae. sent17: there is something such that if it does not congratulate icaco it is concave. sent18: there is something such that if that it does not refine hold then it is not pineal. sent19: the drawers is xerographic and a packinghouse. sent20: there is something such that if it is not concave then it is not immunological. sent21: the protozoologist is a kind of a pepperwort and/or it is not antemeridian if the drawers is a kind of a packinghouse. ; $proof$ = 
void -> assump1: Let's assume that the shrimper does not congratulate icaco.; sent10 & assump1 -> int1: the shrimper is non-immunological thing that is not concave.; int1 -> int2: the shrimper is not concave.; [assump1] & int2 -> int3: if the shrimper does not congratulate icaco then it is not concave.; int3 -> hypothesis; __PROVED__