the fact that the Hungarian does not photosensitize blackthorn and it is not an appellation does not hold.
sent1: something does not sermonize and is not a Sully if it is a kind of an uptown. sent2: if something does not sermonize and it is not a Sully it is a highchair. sent3: the oceanfront is a kind of a Sully. sent4: if the esthetician is not an uptown it does not hoodoo neurofibroma. sent5: if the Cheviot does not photosensitize blackthorn that the Hungarian does not photosensitize blackthorn but it is an appellation is not correct. sent6: the oceanfront is not a Sully if the missionary is a highchair and/or sermonizes. sent7: if the esthetician does not hoodoo neurofibroma the Cheviot does not hoodoo neurofibroma but it photosensitizes sphincter. sent8: if that something is a kind of a highchair hold that it does not photosensitize blackthorn and it is not an appellation is true. sent9: if the missionary does not sermonize then that the esthetician is not a kind of an uptown is not wrong. sent10: if the Cheviot does not photosensitize blackthorn then the fact that the Hungarian does not photosensitize blackthorn and it is not an appellation is not right.
void -> assump1: Let's assume that the missionary does sermonize.; assump1 -> int1: the missionary is a highchair or it does sermonize or both.; int1 & sent6 -> int2: the oceanfront is not a Sully.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the missionary does not sermonize.; int4 & sent9 -> int5: the esthetician is not an uptown.; int5 & sent4 -> int6: the esthetician does not hoodoo neurofibroma.; int6 & sent7 -> int7: the Cheviot does not hoodoo neurofibroma and does photosensitize sphincter.;
the Hungarian does not photosensitize blackthorn and is not an appellation.
sent8 -> int8: if the Hungarian is a highchair it does not photosensitize blackthorn and it is not an appellation.; sent2 -> int9: if the Hungarian does not sermonize and is not a kind of a Sully it is a kind of a highchair.; sent1 -> int10: if that the Hungarian is an uptown is right then it does not sermonize and is not a kind of a Sully.;
$hypothesis$ = the fact that the Hungarian does not photosensitize blackthorn and it is not an appellation does not hold. ; $context$ = sent1: something does not sermonize and is not a Sully if it is a kind of an uptown. sent2: if something does not sermonize and it is not a Sully it is a highchair. sent3: the oceanfront is a kind of a Sully. sent4: if the esthetician is not an uptown it does not hoodoo neurofibroma. sent5: if the Cheviot does not photosensitize blackthorn that the Hungarian does not photosensitize blackthorn but it is an appellation is not correct. sent6: the oceanfront is not a Sully if the missionary is a highchair and/or sermonizes. sent7: if the esthetician does not hoodoo neurofibroma the Cheviot does not hoodoo neurofibroma but it photosensitizes sphincter. sent8: if that something is a kind of a highchair hold that it does not photosensitize blackthorn and it is not an appellation is true. sent9: if the missionary does not sermonize then that the esthetician is not a kind of an uptown is not wrong. sent10: if the Cheviot does not photosensitize blackthorn then the fact that the Hungarian does not photosensitize blackthorn and it is not an appellation is not right. ; $proof$ = 
void -> assump1: Let's assume that the missionary does sermonize.; assump1 -> int1: the missionary is a highchair or it does sermonize or both.; int1 & sent6 -> int2: the oceanfront is not a Sully.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the missionary does not sermonize.; int4 & sent9 -> int5: the esthetician is not an uptown.; int5 & sent4 -> int6: the esthetician does not hoodoo neurofibroma.; int6 & sent7 -> int7: the Cheviot does not hoodoo neurofibroma and does photosensitize sphincter.; __UNKNOWN__