the fact that the char hogs interoception is not wrong.
sent1: the antivenin does not scum. sent2: something does hog interoception if that it beggars ready is right. sent3: the label is not robust if there is something such that that it is both not a kiss and not a parsnip does not hold. sent4: if the cowlick is not a kind of a parsnip the Athenian does not repress hallmark and it is not a parsnip. sent5: if the antivenin is not a scum then the label is robust. sent6: if something is a sharpie it does beggar ready.
void -> assump1: Let's assume that that the cowlick does not kiss and it is not a kind of a parsnip is wrong.; assump1 -> int1: there exists something such that the fact that it does not kiss and it is not a parsnip does not hold.; int1 & sent3 -> int2: the label is not robust.; sent5 & sent1 -> int3: the label is robust.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cowlick is not a kiss and is not a kind of a parsnip.; int5 -> int6: the cowlick is not a parsnip.; int6 & sent4 -> int7: that the Athenian does not repress hallmark and it is not a parsnip hold.; int7 -> int8: the Athenian does not repress hallmark.; sent6 -> int9: the char beggars ready if it is a kind of a sharpie.; sent2 -> int10: the char does hog interoception if it beggars ready.;
$hypothesis$ = the fact that the char hogs interoception is not wrong. ; $context$ = sent1: the antivenin does not scum. sent2: something does hog interoception if that it beggars ready is right. sent3: the label is not robust if there is something such that that it is both not a kiss and not a parsnip does not hold. sent4: if the cowlick is not a kind of a parsnip the Athenian does not repress hallmark and it is not a parsnip. sent5: if the antivenin is not a scum then the label is robust. sent6: if something is a sharpie it does beggar ready. ; $proof$ = 
void -> assump1: Let's assume that that the cowlick does not kiss and it is not a kind of a parsnip is wrong.; assump1 -> int1: there exists something such that the fact that it does not kiss and it is not a parsnip does not hold.; int1 & sent3 -> int2: the label is not robust.; sent5 & sent1 -> int3: the label is robust.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cowlick is not a kiss and is not a kind of a parsnip.; int5 -> int6: the cowlick is not a parsnip.; int6 & sent4 -> int7: that the Athenian does not repress hallmark and it is not a parsnip hold.; int7 -> int8: the Athenian does not repress hallmark.; sent6 -> int9: the char beggars ready if it is a kind of a sharpie.; sent2 -> int10: the char does hog interoception if it beggars ready.; __UNKNOWN__