that something is consular and it is a Tombigbee does not hold.
sent1: that the love-token is a malfeasance and it smites Hero is incorrect. sent2: the love-token is a kind of eastern a tablature. sent3: the love-token is a eclecticism. sent4: the love-token whistles fir if it is a eclecticism. sent5: that something whistles fir and does not whistle oxyphencyclimine is incorrect if it does not smite Hero. sent6: the love-token is a declamation but it is not a thyme. sent7: there are consular things. sent8: the love-token does whistle caller. sent9: the fact that the love-token does not smite Hero is right if it whistles fir. sent10: there exists something such that it is a Tombigbee. sent11: that the topgallant does whistle oxyphencyclimine but it is not a kind of a fluoroscope is incorrect if it is not a pogonia. sent12: the fact that something is a kind of a malfeasance and it smites Hero is not right if it is not consular. sent13: that something is a kind of a malfeasance but it does not smite Hero is not right if it is not consular. sent14: the love-token is not a inutility. sent15: the SACEUR does whistle fir. sent16: something does whistle fir and it is consular. sent17: the love-token does not smite Hero. sent18: the love-token whistles oxyphencyclimine. sent19: if the love-token is not consular that it is a kind of a malfeasance and it smites Hero is not true. sent20: if the love-token whistles fir then it is a malfeasance and it does not smite Hero. sent21: the love-token is a Tombigbee and it whistles oxyphencyclimine.
sent13 -> int1: the fact that the love-token is a kind of a malfeasance but it does not smite Hero does not hold if it is not consular.; void -> assump1: Let's assume that the love-token is not consular.; int1 & assump1 -> int2: the fact that the love-token is a malfeasance and does not smite Hero is not true.; sent4 & sent3 -> int3: the love-token whistles fir.; sent20 & int3 -> int4: the love-token is a kind of a malfeasance but it does not smite Hero.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the love-token is consular.; sent21 -> int7: the love-token is a Tombigbee.; int6 & int7 -> int8: the love-token is consular and is a kind of a Tombigbee.; int8 -> hypothesis;
$hypothesis$ = that something is consular and it is a Tombigbee does not hold. ; $context$ = sent1: that the love-token is a malfeasance and it smites Hero is incorrect. sent2: the love-token is a kind of eastern a tablature. sent3: the love-token is a eclecticism. sent4: the love-token whistles fir if it is a eclecticism. sent5: that something whistles fir and does not whistle oxyphencyclimine is incorrect if it does not smite Hero. sent6: the love-token is a declamation but it is not a thyme. sent7: there are consular things. sent8: the love-token does whistle caller. sent9: the fact that the love-token does not smite Hero is right if it whistles fir. sent10: there exists something such that it is a Tombigbee. sent11: that the topgallant does whistle oxyphencyclimine but it is not a kind of a fluoroscope is incorrect if it is not a pogonia. sent12: the fact that something is a kind of a malfeasance and it smites Hero is not right if it is not consular. sent13: that something is a kind of a malfeasance but it does not smite Hero is not right if it is not consular. sent14: the love-token is not a inutility. sent15: the SACEUR does whistle fir. sent16: something does whistle fir and it is consular. sent17: the love-token does not smite Hero. sent18: the love-token whistles oxyphencyclimine. sent19: if the love-token is not consular that it is a kind of a malfeasance and it smites Hero is not true. sent20: if the love-token whistles fir then it is a malfeasance and it does not smite Hero. sent21: the love-token is a Tombigbee and it whistles oxyphencyclimine. ; $proof$ = 
sent13 -> int1: the fact that the love-token is a kind of a malfeasance but it does not smite Hero does not hold if it is not consular.; void -> assump1: Let's assume that the love-token is not consular.; int1 & assump1 -> int2: the fact that the love-token is a malfeasance and does not smite Hero is not true.; sent4 & sent3 -> int3: the love-token whistles fir.; sent20 & int3 -> int4: the love-token is a kind of a malfeasance but it does not smite Hero.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the love-token is consular.; sent21 -> int7: the love-token is a Tombigbee.; int6 & int7 -> int8: the love-token is consular and is a kind of a Tombigbee.; int8 -> hypothesis; __DISPROVED__