if the fact that the Tobagonian monetizes Tobagonian is not incorrect then the generic is an endemic.
sent1: if the Cheviot is a kind of a lanolin that either it is not a kind of a hectogram or it is not a Congress or both is false. sent2: the generic is a kind of an endemic if the fact that the Tobagonian is not a Pennsylvanian or it is not a hectogram or both is not correct. sent3: the fact that the Tobagonian is endemic is not incorrect if the generic is a Pennsylvanian. sent4: the generic is a Pennsylvanian if that either the Tobagonian is not endemic or it is not a hectogram or both is not correct. sent5: if something does monetize Tobagonian then it is a hectogram. sent6: the Tobagonian is a hectogram if it does monetize Tobagonian. sent7: the sights is a kind of a hectogram that monetizes Tobagonian if the generic is not an endemic. sent8: the generic is a kind of a Pennsylvanian. sent9: if something is non-chimerical that it does not monetize innervation and is not a contestee does not hold. sent10: if the fact that the generic is either not an endemic or not a Pennsylvanian or both is false the Tobagonian is a kind of a hectogram. sent11: that the generic is a kind of an endemic hold if the fact that the Tobagonian is not a Pennsylvanian and/or is a hectogram does not hold. sent12: the Tobagonian is a hectogram. sent13: the Tobagonian is an endemic. sent14: the fact that either something is not a kind of a Pennsylvanian or it is not a kind of a hectogram or both is incorrect if it does monetize Tobagonian. sent15: if the Tobagonian is a Pennsylvanian then that it either does not monetize Tobagonian or is not endemic or both is not true. sent16: if the fact that something does not monetize innervation and is not a kind of a contestee is wrong then it is not an endemic.
sent14 -> int1: the fact that either the Tobagonian is not a Pennsylvanian or it is not a kind of a hectogram or both does not hold if it does monetize Tobagonian.; void -> assump1: Let's assume that the Tobagonian does monetize Tobagonian.; int1 & assump1 -> int2: that the Tobagonian is not a Pennsylvanian and/or is not a hectogram does not hold.; sent2 & int2 -> int3: the generic is endemic.; [assump1] & int3 -> hypothesis;
the sights is a hectogram.
sent16 -> int4: if that the generic does not monetize innervation and is not a contestee does not hold it is non-endemic.; sent9 -> int5: that that the generic does not monetize innervation and is not a contestee is true is not correct if it is not chimerical.;
$hypothesis$ = if the fact that the Tobagonian monetizes Tobagonian is not incorrect then the generic is an endemic. ; $context$ = sent1: if the Cheviot is a kind of a lanolin that either it is not a kind of a hectogram or it is not a Congress or both is false. sent2: the generic is a kind of an endemic if the fact that the Tobagonian is not a Pennsylvanian or it is not a hectogram or both is not correct. sent3: the fact that the Tobagonian is endemic is not incorrect if the generic is a Pennsylvanian. sent4: the generic is a Pennsylvanian if that either the Tobagonian is not endemic or it is not a hectogram or both is not correct. sent5: if something does monetize Tobagonian then it is a hectogram. sent6: the Tobagonian is a hectogram if it does monetize Tobagonian. sent7: the sights is a kind of a hectogram that monetizes Tobagonian if the generic is not an endemic. sent8: the generic is a kind of a Pennsylvanian. sent9: if something is non-chimerical that it does not monetize innervation and is not a contestee does not hold. sent10: if the fact that the generic is either not an endemic or not a Pennsylvanian or both is false the Tobagonian is a kind of a hectogram. sent11: that the generic is a kind of an endemic hold if the fact that the Tobagonian is not a Pennsylvanian and/or is a hectogram does not hold. sent12: the Tobagonian is a hectogram. sent13: the Tobagonian is an endemic. sent14: the fact that either something is not a kind of a Pennsylvanian or it is not a kind of a hectogram or both is incorrect if it does monetize Tobagonian. sent15: if the Tobagonian is a Pennsylvanian then that it either does not monetize Tobagonian or is not endemic or both is not true. sent16: if the fact that something does not monetize innervation and is not a kind of a contestee is wrong then it is not an endemic. ; $proof$ = 
sent14 -> int1: the fact that either the Tobagonian is not a Pennsylvanian or it is not a kind of a hectogram or both does not hold if it does monetize Tobagonian.; void -> assump1: Let's assume that the Tobagonian does monetize Tobagonian.; int1 & assump1 -> int2: that the Tobagonian is not a Pennsylvanian and/or is not a hectogram does not hold.; sent2 & int2 -> int3: the generic is endemic.; [assump1] & int3 -> hypothesis; __PROVED__