that that the plating does not lob crackdown and is not a tub-thumper is false is not false.
sent1: if the Bavarian is a WTV then that that it does lob integer or it is not pretentious or both hold is incorrect. sent2: if the Pentecostal is tonal but it is not a tub-thumper then the plating is not a tub-thumper. sent3: if that something is tonal but it is not a Herder is false it is a kind of a Herder. sent4: the plating is an infestation. sent5: the Pentecostal is tonal but it is not a kind of a tub-thumper. sent6: the plating is mores. sent7: the fact that something is an infestation and/or is not mores is false if it is a Herder. sent8: something does not lob crackdown if it is a kind of an infestation and it is mores. sent9: if the fact that the Pentecostal is an infestation and/or it is not mores is not correct the plating is not a kind of an infestation. sent10: the siren is not tonal if there is something such that that it lobs integer or is not pretentious or both is false. sent11: the fact that something does not lob crackdown and it is not a tub-thumper is not correct if it is not an infestation. sent12: the preschooler is a WTV. sent13: the fact that the Bavarian is a kind of a WTV hold if the preschooler is a WTV.
sent4 & sent6 -> int1: the plating is an infestation and mores.; sent8 -> int2: the plating does not lob crackdown if it is an infestation that is mores.; int1 & int2 -> int3: the plating does not lob crackdown.; sent2 & sent5 -> int4: that the plating is not a kind of a tub-thumper hold.; int3 & int4 -> hypothesis;
that the plating does not lob crackdown and it is not a tub-thumper is not correct.
sent11 -> int5: if the plating is not an infestation that it does not lob crackdown and it is not a tub-thumper is wrong.; sent7 -> int6: if the Pentecostal is a Herder that it is an infestation or it is not mores or both is false.; sent3 -> int7: if that the Pentecostal is not non-tonal and not a Herder is not true then it is a kind of a Herder.; sent13 & sent12 -> int8: the Bavarian is a kind of a WTV.; sent1 & int8 -> int9: the fact that the Bavarian does lob integer and/or is not pretentious is incorrect.; int9 -> int10: there is something such that the fact that it either lobs integer or is not pretentious or both is not true.; int10 & sent10 -> int11: the siren is not tonal.; int11 -> int12: that something is non-tonal is not incorrect.;
$hypothesis$ = that that the plating does not lob crackdown and is not a tub-thumper is false is not false. ; $context$ = sent1: if the Bavarian is a WTV then that that it does lob integer or it is not pretentious or both hold is incorrect. sent2: if the Pentecostal is tonal but it is not a tub-thumper then the plating is not a tub-thumper. sent3: if that something is tonal but it is not a Herder is false it is a kind of a Herder. sent4: the plating is an infestation. sent5: the Pentecostal is tonal but it is not a kind of a tub-thumper. sent6: the plating is mores. sent7: the fact that something is an infestation and/or is not mores is false if it is a Herder. sent8: something does not lob crackdown if it is a kind of an infestation and it is mores. sent9: if the fact that the Pentecostal is an infestation and/or it is not mores is not correct the plating is not a kind of an infestation. sent10: the siren is not tonal if there is something such that that it lobs integer or is not pretentious or both is false. sent11: the fact that something does not lob crackdown and it is not a tub-thumper is not correct if it is not an infestation. sent12: the preschooler is a WTV. sent13: the fact that the Bavarian is a kind of a WTV hold if the preschooler is a WTV. ; $proof$ = 
sent4 & sent6 -> int1: the plating is an infestation and mores.; sent8 -> int2: the plating does not lob crackdown if it is an infestation that is mores.; int1 & int2 -> int3: the plating does not lob crackdown.; sent2 & sent5 -> int4: that the plating is not a kind of a tub-thumper hold.; int3 & int4 -> hypothesis; __DISPROVED__