the fact that the Korean is a year-end and a marc is false.
sent1: that something is a year-end and it is a marc is not right if it does not mask audiovisual. sent2: the Weld is a kind of a flank. sent3: the Korean is a kind of a marc if something that does bawl pedestrian does not mask audiovisual. sent4: the rhenium does bawl pedestrian if that the Weld does not mask wheeler is not wrong. sent5: if something does flank then it bawls pedestrian and it does not mask audiovisual. sent6: if the Korean is not a year-end the rhenium is nontranslational and it masks wheeler. sent7: the rhenium is not a flank. sent8: something is not a headman if the fact that it is a headman and masochistic does not hold. sent9: if there exists something such that it bawls Threskiornithidae then the fact that the endospore is a headman and is masochistic is not right. sent10: if the rhenium does not bawl pedestrian then that the Korean does mask audiovisual but it is not a speech is not true. sent11: if the fact that something masks audiovisual but it is not a speech does not hold then it does not masks audiovisual. sent12: that something flanks and is not a cyprinid is wrong if it is provocative. sent13: if something is not a marc that it is not a year-end and it is not a Waterloo does not hold. sent14: the creatine is not a marc if the Korean does mask audiovisual and is not a kind of a marc. sent15: the Weld is a year-end. sent16: if the heterograft is a slalom then it bawls Threskiornithidae. sent17: the rhenium is a speech but it is not nontranslational. sent18: the heterograft does slalom. sent19: if there is something such that the fact that it is a speech and it does not bawl pedestrian is not correct then the creatine is nontranslational. sent20: the Weld is provocative but it is not a kind of a oxyphencyclimine if the endospore is not a headman. sent21: if the fact that something is not a year-end and not a Waterloo is not true it is a kind of a Waterloo.
void -> assump1: Let's assume that the fact that the Korean is not a year-end is correct.; sent6 & assump1 -> int1: the rhenium is nontranslational and it does mask wheeler.; int1 -> int2: the rhenium is nontranslational.; sent17 -> int3: the rhenium is not nontranslational.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Korean is a year-end.; sent5 -> int6: if the fact that the Weld is a flank is right then that it does bawl pedestrian and it does not mask audiovisual hold.; int6 & sent2 -> int7: the Weld bawls pedestrian and does not mask audiovisual.; int7 -> int8: something bawls pedestrian and does not mask audiovisual.; int8 & sent3 -> int9: the Korean is a marc.; int5 & int9 -> hypothesis;
the fact that the Korean is a kind of a year-end and is a kind of a marc does not hold.
sent1 -> int10: if the Korean does not mask audiovisual then the fact that it is a year-end and it is a marc is not right.; sent11 -> int11: if that the Korean does mask audiovisual but it is not a kind of a speech is not right it does not mask audiovisual.; sent12 -> int12: the fact that the Weld is a flank but not cyprinid is not true if it is provocative.; sent8 -> int13: if that the endospore is a kind of a headman and is masochistic does not hold it is not a headman.; sent16 & sent18 -> int14: the heterograft does bawl Threskiornithidae.; int14 -> int15: there exists something such that the fact that it bawls Threskiornithidae is not false.; int15 & sent9 -> int16: that the endospore is a headman and it is masochistic does not hold.; int13 & int16 -> int17: the endospore is not a kind of a headman.; sent20 & int17 -> int18: the Weld is provocative but it is not a oxyphencyclimine.; int18 -> int19: the Weld is provocative.; int12 & int19 -> int20: that the fact that the Weld is both a flank and not a cyprinid does not hold is right.; int20 -> int21: there exists something such that the fact that it does flank and it is not a cyprinid does not hold.;
$hypothesis$ = the fact that the Korean is a year-end and a marc is false. ; $context$ = sent1: that something is a year-end and it is a marc is not right if it does not mask audiovisual. sent2: the Weld is a kind of a flank. sent3: the Korean is a kind of a marc if something that does bawl pedestrian does not mask audiovisual. sent4: the rhenium does bawl pedestrian if that the Weld does not mask wheeler is not wrong. sent5: if something does flank then it bawls pedestrian and it does not mask audiovisual. sent6: if the Korean is not a year-end the rhenium is nontranslational and it masks wheeler. sent7: the rhenium is not a flank. sent8: something is not a headman if the fact that it is a headman and masochistic does not hold. sent9: if there exists something such that it bawls Threskiornithidae then the fact that the endospore is a headman and is masochistic is not right. sent10: if the rhenium does not bawl pedestrian then that the Korean does mask audiovisual but it is not a speech is not true. sent11: if the fact that something masks audiovisual but it is not a speech does not hold then it does not masks audiovisual. sent12: that something flanks and is not a cyprinid is wrong if it is provocative. sent13: if something is not a marc that it is not a year-end and it is not a Waterloo does not hold. sent14: the creatine is not a marc if the Korean does mask audiovisual and is not a kind of a marc. sent15: the Weld is a year-end. sent16: if the heterograft is a slalom then it bawls Threskiornithidae. sent17: the rhenium is a speech but it is not nontranslational. sent18: the heterograft does slalom. sent19: if there is something such that the fact that it is a speech and it does not bawl pedestrian is not correct then the creatine is nontranslational. sent20: the Weld is provocative but it is not a kind of a oxyphencyclimine if the endospore is not a headman. sent21: if the fact that something is not a year-end and not a Waterloo is not true it is a kind of a Waterloo. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Korean is not a year-end is correct.; sent6 & assump1 -> int1: the rhenium is nontranslational and it does mask wheeler.; int1 -> int2: the rhenium is nontranslational.; sent17 -> int3: the rhenium is not nontranslational.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Korean is a year-end.; sent5 -> int6: if the fact that the Weld is a flank is right then that it does bawl pedestrian and it does not mask audiovisual hold.; int6 & sent2 -> int7: the Weld bawls pedestrian and does not mask audiovisual.; int7 -> int8: something bawls pedestrian and does not mask audiovisual.; int8 & sent3 -> int9: the Korean is a marc.; int5 & int9 -> hypothesis; __DISPROVED__