the fact that the lipstick is collarless a punster does not hold.
sent1: if the radiotelegraph does not expense bye then that the lipstick is collarless and it is a punster is wrong. sent2: if there are anthropic things then the cowhide is both not clausal and apteral. sent3: if the cowhide is not clausal the Lego does not sidle. sent4: the Lego is not inhospitable. sent5: if the cowhide is counterclockwise the Munch is off-site. sent6: if that the Lego is not clausal is not false then the radiotelegraph does not expense bye. sent7: the fact that the cowhide is counterclockwise hold if it does sidle. sent8: the Lego is not clausal if either the wonton is not apteral or it is not inhospitable or both. sent9: if the Munch is anthropic it is not off-site. sent10: the Munch is anthropic if the wonton is apteral. sent11: the Munch is not inhospitable. sent12: if the Munch is not inhospitable the lipstick is both collarless and not non-anthropic. sent13: the cowhide does sidle.
void -> assump1: Let's assume that the wonton is apteral.; sent10 & assump1 -> int1: the Munch is anthropic.; int1 & sent9 -> int2: the Munch is not off-site.; sent7 & sent13 -> int3: the cowhide is counterclockwise.; sent5 & int3 -> int4: the Munch is off-site.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the wonton is not apteral.; int6 -> int7: the wonton is not apteral and/or it is not inhospitable.; int7 & sent8 -> int8: the Lego is not clausal.; int8 & sent6 -> int9: the radiotelegraph does not expense bye.; int9 & sent1 -> hypothesis;
the cowhide is not clausal.
$hypothesis$ = the fact that the lipstick is collarless a punster does not hold. ; $context$ = sent1: if the radiotelegraph does not expense bye then that the lipstick is collarless and it is a punster is wrong. sent2: if there are anthropic things then the cowhide is both not clausal and apteral. sent3: if the cowhide is not clausal the Lego does not sidle. sent4: the Lego is not inhospitable. sent5: if the cowhide is counterclockwise the Munch is off-site. sent6: if that the Lego is not clausal is not false then the radiotelegraph does not expense bye. sent7: the fact that the cowhide is counterclockwise hold if it does sidle. sent8: the Lego is not clausal if either the wonton is not apteral or it is not inhospitable or both. sent9: if the Munch is anthropic it is not off-site. sent10: the Munch is anthropic if the wonton is apteral. sent11: the Munch is not inhospitable. sent12: if the Munch is not inhospitable the lipstick is both collarless and not non-anthropic. sent13: the cowhide does sidle. ; $proof$ = 
void -> assump1: Let's assume that the wonton is apteral.; sent10 & assump1 -> int1: the Munch is anthropic.; int1 & sent9 -> int2: the Munch is not off-site.; sent7 & sent13 -> int3: the cowhide is counterclockwise.; sent5 & int3 -> int4: the Munch is off-site.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the wonton is not apteral.; int6 -> int7: the wonton is not apteral and/or it is not inhospitable.; int7 & sent8 -> int8: the Lego is not clausal.; int8 & sent6 -> int9: the radiotelegraph does not expense bye.; int9 & sent1 -> hypothesis; __PROVED__