the calamus is not prospective.
sent1: the fact that the calamus is not prospective is right if it is not a canella. sent2: the crisscross is a skater. sent3: something is non-prospective if the fact that it is a kind of a canella and it is a Padda is false. sent4: if the fact that the crisscross is a skater is not incorrect it is not non-floricultural. sent5: that the crisscross is not floricultural is not incorrect if it is uninfluential and is a kind of a frown. sent6: the calamus does not revenge disaccharidase if there is something such that the fact that it is uninfluential and it does not frown is incorrect. sent7: there exists something such that the fact that it is uninfluential and is a frown does not hold. sent8: that something is a canella and it is a kind of a Padda is not true if it does not revenge disaccharidase. sent9: if the crisscross is uninfluential and is not a frown it is not floricultural.
void -> assump1: Let's assume that the crisscross is uninfluential but it is not a kind of a frown.; sent9 & assump1 -> int1: the crisscross is not floricultural.; sent4 & sent2 -> int2: the crisscross is floricultural.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the crisscross is a kind of uninfluential thing that is not a frown does not hold.; int4 -> int5: there exists something such that that it is uninfluential and it is not a frown is false.; int5 & sent6 -> int6: the calamus does not revenge disaccharidase.; sent8 -> int7: if the calamus does not revenge disaccharidase that it is a canella and is a Padda is not correct.; int6 & int7 -> int8: the fact that the calamus is a canella and it is a Padda is not true.; sent3 -> int9: if the fact that the calamus is a kind of a canella that is a Padda is false then it is not prospective.; int8 & int9 -> hypothesis;
$hypothesis$ = the calamus is not prospective. ; $context$ = sent1: the fact that the calamus is not prospective is right if it is not a canella. sent2: the crisscross is a skater. sent3: something is non-prospective if the fact that it is a kind of a canella and it is a Padda is false. sent4: if the fact that the crisscross is a skater is not incorrect it is not non-floricultural. sent5: that the crisscross is not floricultural is not incorrect if it is uninfluential and is a kind of a frown. sent6: the calamus does not revenge disaccharidase if there is something such that the fact that it is uninfluential and it does not frown is incorrect. sent7: there exists something such that the fact that it is uninfluential and is a frown does not hold. sent8: that something is a canella and it is a kind of a Padda is not true if it does not revenge disaccharidase. sent9: if the crisscross is uninfluential and is not a frown it is not floricultural. ; $proof$ = 
void -> assump1: Let's assume that the crisscross is uninfluential but it is not a kind of a frown.; sent9 & assump1 -> int1: the crisscross is not floricultural.; sent4 & sent2 -> int2: the crisscross is floricultural.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the crisscross is a kind of uninfluential thing that is not a frown does not hold.; int4 -> int5: there exists something such that that it is uninfluential and it is not a frown is false.; int5 & sent6 -> int6: the calamus does not revenge disaccharidase.; sent8 -> int7: if the calamus does not revenge disaccharidase that it is a canella and is a Padda is not correct.; int6 & int7 -> int8: the fact that the calamus is a canella and it is a Padda is not true.; sent3 -> int9: if the fact that the calamus is a kind of a canella that is a Padda is false then it is not prospective.; int8 & int9 -> hypothesis; __PROVED__