the pate is a guimpe if the lecanopteris does levy.
sent1: the pate does Latinize if it impacts mummery. sent2: the pate ships. sent3: the pate activates sanctimoniousness. sent4: if that the perineurium is not a kind of a guimpe hold then the pate does not impact perineurium. sent5: the pate does not activate Serratula and impacts perineurium. sent6: if the lecanopteris is not a universal then the perineurium is not a Hokusai. sent7: the perineurium does not impact perineurium if it is a universal and is a presidium. sent8: the perineurium is a Hokusai if there is something such that that it is not a guimpe but a levy is not right. sent9: the perineurium is a universal and is not a kind of a presidium. sent10: the fact that the lecanopteris does not impact perineurium and is not a kind of a pate is not correct if there exists something such that it is a Hokusai. sent11: the fact that the perineurium is a kind of a Hokusai but it is not a presidium hold. sent12: if something is not wholesome the fact that it is not a kind of a guimpe and it is a kind of a levy is false. sent13: something impacts perineurium if that it does not impacts perineurium and is not a pate is not correct. sent14: the lecanopteris is not a pate if the perineurium does not impact perineurium. sent15: the lecanopteris is not a pate. sent16: something does impact mummery if it does ship. sent17: if the perineurium does not impact perineurium the lecanopteris is not a pate and not a Hokusai. sent18: the garnet is a universal. sent19: the perineurium is not a presidium. sent20: something is not wholesome if it activates sanctimoniousness and Latinizes. sent21: if the perineurium is a universal that is not a presidium it does not impact perineurium.
sent21 & sent9 -> int1: the perineurium does not impact perineurium.; sent17 & int1 -> int2: the lecanopteris is not a kind of a pate and is not a Hokusai.; int2 -> int3: that the lecanopteris is not a Hokusai hold.; void -> assump1: Let's assume that the lecanopteris is a kind of a levy.; int3 & assump1 -> int4: that the lecanopteris is both not a Hokusai and a levy is right.;
the lecanopteris impacts perineurium.
sent13 -> int5: the lecanopteris does impact perineurium if the fact that it does not impact perineurium and it is not a pate is incorrect.; sent12 -> int6: if the pate is not wholesome that it is not a guimpe and it levies does not hold.; sent20 -> int7: the pate is not wholesome if it activates sanctimoniousness and it does Latinize.; sent16 -> int8: if the pate is a ship it does impact mummery.; int8 & sent2 -> int9: the pate does impact mummery.; sent1 & int9 -> int10: the pate does Latinize.; sent3 & int10 -> int11: the pate activates sanctimoniousness and it does Latinize.; int7 & int11 -> int12: the pate is not wholesome.; int6 & int12 -> int13: that the pate is not a guimpe but it levies is incorrect.; int13 -> int14: the fact that there is something such that the fact that it is not a kind of a guimpe and is a levy is not correct is not wrong.; int14 & sent8 -> int15: the perineurium is a Hokusai.; int15 -> int16: there exists something such that it is a Hokusai.; int16 & sent10 -> int17: that the lecanopteris does not impact perineurium and it is not a kind of a pate does not hold.; int5 & int17 -> hypothesis;
$hypothesis$ = the pate is a guimpe if the lecanopteris does levy. ; $context$ = sent1: the pate does Latinize if it impacts mummery. sent2: the pate ships. sent3: the pate activates sanctimoniousness. sent4: if that the perineurium is not a kind of a guimpe hold then the pate does not impact perineurium. sent5: the pate does not activate Serratula and impacts perineurium. sent6: if the lecanopteris is not a universal then the perineurium is not a Hokusai. sent7: the perineurium does not impact perineurium if it is a universal and is a presidium. sent8: the perineurium is a Hokusai if there is something such that that it is not a guimpe but a levy is not right. sent9: the perineurium is a universal and is not a kind of a presidium. sent10: the fact that the lecanopteris does not impact perineurium and is not a kind of a pate is not correct if there exists something such that it is a Hokusai. sent11: the fact that the perineurium is a kind of a Hokusai but it is not a presidium hold. sent12: if something is not wholesome the fact that it is not a kind of a guimpe and it is a kind of a levy is false. sent13: something impacts perineurium if that it does not impacts perineurium and is not a pate is not correct. sent14: the lecanopteris is not a pate if the perineurium does not impact perineurium. sent15: the lecanopteris is not a pate. sent16: something does impact mummery if it does ship. sent17: if the perineurium does not impact perineurium the lecanopteris is not a pate and not a Hokusai. sent18: the garnet is a universal. sent19: the perineurium is not a presidium. sent20: something is not wholesome if it activates sanctimoniousness and Latinizes. sent21: if the perineurium is a universal that is not a presidium it does not impact perineurium. ; $proof$ = 
sent21 & sent9 -> int1: the perineurium does not impact perineurium.; sent17 & int1 -> int2: the lecanopteris is not a kind of a pate and is not a Hokusai.; int2 -> int3: that the lecanopteris is not a Hokusai hold.; void -> assump1: Let's assume that the lecanopteris is a kind of a levy.; int3 & assump1 -> int4: that the lecanopteris is both not a Hokusai and a levy is right.; __UNKNOWN__