the laticifer is a noma.
sent1: the laticifer is not a puff if it does not devoice cap and it does not devoice silverfish. sent2: if the laticifer is not a puff that the Primaxin is a kind of non-offensive thing that is a kind of a constitutional does not hold. sent3: if there exists something such that that it does not outsell buteonine and it is transoceanic is not true the Primaxin dogmatizes. sent4: if that something is a kind of a glycoprotein is right then it is not a noma. sent5: there exists something such that that it does not outsell buteonine and it is transoceanic is not true. sent6: the Primaxin does puff if that the scrubber is a glycoprotein but it is not a kind of a puff is not true. sent7: that something is a kind of inoffensive thing that is a constitutional is not incorrect if that it dogmatizes is true. sent8: something is a glycoprotein if that it does not devoice cap and does not devoice silverfish is not right. sent9: the fact that the Primaxin is offensive and it is a constitutional is not right.
void -> assump1: Let's assume that the laticifer does not devoice cap and it does not devoice silverfish.; sent1 & assump1 -> int1: that the laticifer is not a puff is not false.; int1 & sent2 -> int2: that the Primaxin is not offensive but it is constitutional does not hold.; sent7 -> int3: if the Primaxin does dogmatize it is not offensive but constitutional.; sent5 & sent3 -> int4: the Primaxin dogmatizes.; int3 & int4 -> int5: the Primaxin is both not offensive and a constitutional.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the laticifer does not devoice cap and does not devoice silverfish is wrong.; sent8 -> int8: the laticifer is a glycoprotein if the fact that it does not devoice cap and does not devoice silverfish is not correct.; int7 & int8 -> int9: the laticifer is a glycoprotein.; sent4 -> int10: if the laticifer is a glycoprotein it is not a noma.; int9 & int10 -> hypothesis;
the laticifer is a noma.
$hypothesis$ = the laticifer is a noma. ; $context$ = sent1: the laticifer is not a puff if it does not devoice cap and it does not devoice silverfish. sent2: if the laticifer is not a puff that the Primaxin is a kind of non-offensive thing that is a kind of a constitutional does not hold. sent3: if there exists something such that that it does not outsell buteonine and it is transoceanic is not true the Primaxin dogmatizes. sent4: if that something is a kind of a glycoprotein is right then it is not a noma. sent5: there exists something such that that it does not outsell buteonine and it is transoceanic is not true. sent6: the Primaxin does puff if that the scrubber is a glycoprotein but it is not a kind of a puff is not true. sent7: that something is a kind of inoffensive thing that is a constitutional is not incorrect if that it dogmatizes is true. sent8: something is a glycoprotein if that it does not devoice cap and does not devoice silverfish is not right. sent9: the fact that the Primaxin is offensive and it is a constitutional is not right. ; $proof$ = 
void -> assump1: Let's assume that the laticifer does not devoice cap and it does not devoice silverfish.; sent1 & assump1 -> int1: that the laticifer is not a puff is not false.; int1 & sent2 -> int2: that the Primaxin is not offensive but it is constitutional does not hold.; sent7 -> int3: if the Primaxin does dogmatize it is not offensive but constitutional.; sent5 & sent3 -> int4: the Primaxin dogmatizes.; int3 & int4 -> int5: the Primaxin is both not offensive and a constitutional.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the laticifer does not devoice cap and does not devoice silverfish is wrong.; sent8 -> int8: the laticifer is a glycoprotein if the fact that it does not devoice cap and does not devoice silverfish is not correct.; int7 & int8 -> int9: the laticifer is a glycoprotein.; sent4 -> int10: if the laticifer is a glycoprotein it is not a noma.; int9 & int10 -> hypothesis; __DISPROVED__