that the cosmographer is a kind of non-zenithal thing that is not a pellet is not true.
sent1: the cosmographer is formic and it is preventable. sent2: if something is both not formic and not unpreventable it is not a kind of a pellet. sent3: something is not formic if it is both zenithal and not a pellet. sent4: the fact that the cosmographer is non-formic thing that is not dicarboxylic is not right. sent5: the fact that the cosmographer is not formic is not incorrect if it is a kind of non-zenithal thing that is a pellet. sent6: the aspirant is not a pellet if it is a decree and is not symptomatic. sent7: that the cosmographer is zenithal but it is not a pellet is not right. sent8: that the cosmographer thromboses Mach and is not a kind of a freight is false. sent9: the cosmographer does not prop interaction and it is not a Rhynia. sent10: that the soapstone is both a bighead and not a pellet does not hold. sent11: a non-formic thing that is not zenithal is not preventable. sent12: the cosmographer is not unwholesome. sent13: that the fiber is formic and/or is a kind of a contractility is not false if the Coricidin is not a kind of a precedent. sent14: the Marylander is not a kind of a fuss if it is a tornado and it is not hornless. sent15: the cosmographer does not wean Demavend. sent16: something is not formic if it is not zenithal and it is a pellet. sent17: the fact that the cosmographer is both non-zenithal and a pellet is not correct. sent18: the fact that the potato is alpine thing that does not cohere is not true. sent19: that something is non-formic is not false if it is both not zenithal and not a pellet.
sent19 -> int1: if the cosmographer is not zenithal and is not a kind of a pellet it is not formic.; void -> assump1: Let's assume that the cosmographer is not zenithal and it is not a pellet.; int1 & assump1 -> int2: the cosmographer is not formic.; sent1 -> int3: the cosmographer is formic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
that the cosmographer is both not zenithal and not a pellet is correct.
$hypothesis$ = that the cosmographer is a kind of non-zenithal thing that is not a pellet is not true. ; $context$ = sent1: the cosmographer is formic and it is preventable. sent2: if something is both not formic and not unpreventable it is not a kind of a pellet. sent3: something is not formic if it is both zenithal and not a pellet. sent4: the fact that the cosmographer is non-formic thing that is not dicarboxylic is not right. sent5: the fact that the cosmographer is not formic is not incorrect if it is a kind of non-zenithal thing that is a pellet. sent6: the aspirant is not a pellet if it is a decree and is not symptomatic. sent7: that the cosmographer is zenithal but it is not a pellet is not right. sent8: that the cosmographer thromboses Mach and is not a kind of a freight is false. sent9: the cosmographer does not prop interaction and it is not a Rhynia. sent10: that the soapstone is both a bighead and not a pellet does not hold. sent11: a non-formic thing that is not zenithal is not preventable. sent12: the cosmographer is not unwholesome. sent13: that the fiber is formic and/or is a kind of a contractility is not false if the Coricidin is not a kind of a precedent. sent14: the Marylander is not a kind of a fuss if it is a tornado and it is not hornless. sent15: the cosmographer does not wean Demavend. sent16: something is not formic if it is not zenithal and it is a pellet. sent17: the fact that the cosmographer is both non-zenithal and a pellet is not correct. sent18: the fact that the potato is alpine thing that does not cohere is not true. sent19: that something is non-formic is not false if it is both not zenithal and not a pellet. ; $proof$ = 
sent19 -> int1: if the cosmographer is not zenithal and is not a kind of a pellet it is not formic.; void -> assump1: Let's assume that the cosmographer is not zenithal and it is not a pellet.; int1 & assump1 -> int2: the cosmographer is not formic.; sent1 -> int3: the cosmographer is formic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__