the fact that the hobnail does not angle coleslaw and is not a marshal does not hold.
sent1: something is not a Farrell but it is a unlikeness. sent2: the priest does not redden seamount. sent3: the tatouay does not redden seamount if there is something such that it is mindless. sent4: the hobnail does not angle coleslaw. sent5: The coleslaw does not angle hobnail. sent6: the hobnail does not crucify Vaccinium if it is both a marshal and terpsichorean. sent7: the devisor is not a kind of a sapsago and does not get relations if the hobnail does not crucify Vaccinium. sent8: that the devisor is a marshal is correct if the priest does not crucify Vaccinium and is terpsichorean. sent9: the hobnail is a kind of a sapsago. sent10: if there exists something such that the fact that it does not redden seamount is not wrong then the snob gets relations but it is not a sapsago. sent11: The seamount does not redden priest. sent12: the seamount is mindless if the fact that it is not a kind of a Brezhnev is true. sent13: the seamount is not a Brezhnev. sent14: the hobnail is terpsichorean if something that is not a kind of a Farrell is a kind of a unlikeness. sent15: if the devisor is not a sapsago and it does not get relations then the priest does redden seamount. sent16: the priest does not crucify Vaccinium and is terpsichorean if there is something such that that it gets relations is right.
sent1 & sent14 -> int1: the hobnail is terpsichorean.; void -> assump1: Let's assume that the hobnail is a kind of a marshal.; int1 & assump1 -> int2: the hobnail does marshal and it is terpsichorean.; int2 & sent6 -> int3: the hobnail does not crucify Vaccinium.; int3 & sent7 -> int4: that the devisor is not a sapsago and it does not get relations is true.; int4 & sent15 -> int5: the priest reddens seamount.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hobnail does not marshal.; int7 & sent4 -> hypothesis;
that the hobnail does not angle coleslaw and it is not a kind of a marshal does not hold.
sent12 & sent13 -> int8: the fact that the seamount is mindless is not false.; int8 -> int9: there are mindless things.; int9 & sent3 -> int10: the tatouay does not redden seamount.; int10 -> int11: something does not redden seamount.; int11 & sent10 -> int12: the snob gets relations and is not a kind of a sapsago.; int12 -> int13: the snob gets relations.; int13 -> int14: there is something such that it does get relations.; int14 & sent16 -> int15: the priest does not crucify Vaccinium and is not non-terpsichorean.; sent8 & int15 -> int16: the devisor is a marshal.; int16 -> int17: there is something such that it is a marshal.;
$hypothesis$ = the fact that the hobnail does not angle coleslaw and is not a marshal does not hold. ; $context$ = sent1: something is not a Farrell but it is a unlikeness. sent2: the priest does not redden seamount. sent3: the tatouay does not redden seamount if there is something such that it is mindless. sent4: the hobnail does not angle coleslaw. sent5: The coleslaw does not angle hobnail. sent6: the hobnail does not crucify Vaccinium if it is both a marshal and terpsichorean. sent7: the devisor is not a kind of a sapsago and does not get relations if the hobnail does not crucify Vaccinium. sent8: that the devisor is a marshal is correct if the priest does not crucify Vaccinium and is terpsichorean. sent9: the hobnail is a kind of a sapsago. sent10: if there exists something such that the fact that it does not redden seamount is not wrong then the snob gets relations but it is not a sapsago. sent11: The seamount does not redden priest. sent12: the seamount is mindless if the fact that it is not a kind of a Brezhnev is true. sent13: the seamount is not a Brezhnev. sent14: the hobnail is terpsichorean if something that is not a kind of a Farrell is a kind of a unlikeness. sent15: if the devisor is not a sapsago and it does not get relations then the priest does redden seamount. sent16: the priest does not crucify Vaccinium and is terpsichorean if there is something such that that it gets relations is right. ; $proof$ = 
sent1 & sent14 -> int1: the hobnail is terpsichorean.; void -> assump1: Let's assume that the hobnail is a kind of a marshal.; int1 & assump1 -> int2: the hobnail does marshal and it is terpsichorean.; int2 & sent6 -> int3: the hobnail does not crucify Vaccinium.; int3 & sent7 -> int4: that the devisor is not a sapsago and it does not get relations is true.; int4 & sent15 -> int5: the priest reddens seamount.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hobnail does not marshal.; int7 & sent4 -> hypothesis; __DISPROVED__