the fact that the auto-changer is not a showroom but it disentangles rugged is incorrect.
sent1: the hotdog is not electronics if there exists something such that either it is not electronics or it is a rainmaker or both. sent2: the trolleybus is not incorrupt. sent3: the tattletale is a kind of a showroom. sent4: if something does not consternate refrain and it is not phallic it is not a Cuba. sent5: the hotdog is not a rainmaker. sent6: that the scene-stealer is not a lackey and is a kind of a rainmaker is not correct. sent7: the scene-stealer does not consternate refrain if the fact that it is not a lackey and it is not a kind of a rainmaker is incorrect. sent8: that that something is not a kind of a showroom and disentangles rugged is incorrect if it is a kind of a Cuba is not incorrect. sent9: if the springer is a kind of a Cuba then the hotdog is phallic. sent10: if the hotdog is phallic then the scene-stealer does consternate refrain. sent11: The rugged does disentangle auto-changer. sent12: the scene-stealer does not consternate refrain if it is a rainmaker. sent13: something is not a showroom if it is not electronics. sent14: something is not a kind of a Harte and consternates refrain if it is not electronics. sent15: if the springer is phallic then the auto-changer is a Cuba. sent16: something that is not a lackey is not electronics and/or is a rainmaker. sent17: the springer is a Harte. sent18: if something does behave and is not German it is not a lackey. sent19: if the springer does consternate refrain the A-line does not consternate refrain. sent20: the auto-changer is not electronics if the springer is not a kind of a Cuba and is a Harte. sent21: that the scene-stealer is not a lackey and it is not a rainmaker is not right. sent22: if the springer is both not a showroom and a Cuba the auto-changer is not a Harte. sent23: the springer consternates refrain and does disentangle rugged if the hotdog is not a rainmaker. sent24: if the A-line is not a Harte and is electronics then it is not phallic. sent25: the auto-changer does disentangle rugged. sent26: if the scene-stealer is a showroom the auto-changer is a rainmaker.
void -> assump1: Let's assume that the springer is a kind of a Cuba.; sent9 & assump1 -> int1: the hotdog is phallic.; int1 & sent10 -> int2: the scene-stealer consternates refrain.; sent7 & sent21 -> int3: the scene-stealer does not consternate refrain.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the springer is not a Cuba.; int5 & sent17 -> int6: the springer is both not a Cuba and a Harte.; int6 & sent20 -> int7: the auto-changer is not electronics.; sent13 -> int8: the auto-changer is not a kind of a showroom if the fact that it is not electronics is not false.; int7 & int8 -> int9: the auto-changer is not a kind of a showroom.; int9 & sent25 -> hypothesis;
that the auto-changer is not a showroom but it does disentangle rugged does not hold.
sent8 -> int10: if the auto-changer is a Cuba the fact that it is not a kind of a showroom and does disentangle rugged is incorrect.; sent14 -> int11: the hotdog is not a kind of a Harte and consternates refrain if the fact that it is not electronics is not wrong.; sent16 -> int12: if that the scene-stealer is not a lackey hold it either is not electronics or is a rainmaker or both.; sent18 -> int13: if the scene-stealer behaves but it is not a German it is not a lackey.; sent2 -> int14: there exists something such that it is not incorrupt.;
$hypothesis$ = the fact that the auto-changer is not a showroom but it disentangles rugged is incorrect. ; $context$ = sent1: the hotdog is not electronics if there exists something such that either it is not electronics or it is a rainmaker or both. sent2: the trolleybus is not incorrupt. sent3: the tattletale is a kind of a showroom. sent4: if something does not consternate refrain and it is not phallic it is not a Cuba. sent5: the hotdog is not a rainmaker. sent6: that the scene-stealer is not a lackey and is a kind of a rainmaker is not correct. sent7: the scene-stealer does not consternate refrain if the fact that it is not a lackey and it is not a kind of a rainmaker is incorrect. sent8: that that something is not a kind of a showroom and disentangles rugged is incorrect if it is a kind of a Cuba is not incorrect. sent9: if the springer is a kind of a Cuba then the hotdog is phallic. sent10: if the hotdog is phallic then the scene-stealer does consternate refrain. sent11: The rugged does disentangle auto-changer. sent12: the scene-stealer does not consternate refrain if it is a rainmaker. sent13: something is not a showroom if it is not electronics. sent14: something is not a kind of a Harte and consternates refrain if it is not electronics. sent15: if the springer is phallic then the auto-changer is a Cuba. sent16: something that is not a lackey is not electronics and/or is a rainmaker. sent17: the springer is a Harte. sent18: if something does behave and is not German it is not a lackey. sent19: if the springer does consternate refrain the A-line does not consternate refrain. sent20: the auto-changer is not electronics if the springer is not a kind of a Cuba and is a Harte. sent21: that the scene-stealer is not a lackey and it is not a rainmaker is not right. sent22: if the springer is both not a showroom and a Cuba the auto-changer is not a Harte. sent23: the springer consternates refrain and does disentangle rugged if the hotdog is not a rainmaker. sent24: if the A-line is not a Harte and is electronics then it is not phallic. sent25: the auto-changer does disentangle rugged. sent26: if the scene-stealer is a showroom the auto-changer is a rainmaker. ; $proof$ = 
void -> assump1: Let's assume that the springer is a kind of a Cuba.; sent9 & assump1 -> int1: the hotdog is phallic.; int1 & sent10 -> int2: the scene-stealer consternates refrain.; sent7 & sent21 -> int3: the scene-stealer does not consternate refrain.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the springer is not a Cuba.; int5 & sent17 -> int6: the springer is both not a Cuba and a Harte.; int6 & sent20 -> int7: the auto-changer is not electronics.; sent13 -> int8: the auto-changer is not a kind of a showroom if the fact that it is not electronics is not false.; int7 & int8 -> int9: the auto-changer is not a kind of a showroom.; int9 & sent25 -> hypothesis; __DISPROVED__