the bimetal is non-syntagmatic thing that does not emigrate.
sent1: that the tv-antenna is not a kind of a Tampax but it is a nucleotide does not hold if the museum does not slug boneset. sent2: the clinch does emigrate. sent3: that that the tv-antenna is not a nucleotide but it is substantial hold is wrong if the Rambouillet does not slug boneset. sent4: the fact that the bimetal is not syntagmatic and does not emigrate is not correct if the cuckoo-bumblebee does not slug bimetal. sent5: that the Rambouillet does not emigrate but it is substantial does not hold if the bimetal is substantial. sent6: the cuckoo-bumblebee does not slug bimetal if that the clinch is not depressant and does slug boneset is wrong. sent7: that the clinch is not substantial and is depressant is false. sent8: if something does not slug boneset that it does not slug bimetal and it is a kind of a specific is not true. sent9: the tv-antenna is not a Tampax and is a nucleotide if the Rambouillet is not substantial. sent10: that the Rambouillet is substantial and a Tampax is not right. sent11: the Rambouillet is not substantial. sent12: if the tv-antenna is syntagmatic then that the bimetal is both a Tampax and syntagmatic is false. sent13: that the clinch is a kind of non-depressant thing that does slug boneset is not correct if the museum slug boneset.
void -> assump1: Let's assume that the museum does not slug boneset.; sent1 & assump1 -> int1: that the tv-antenna is not a Tampax but it is a nucleotide does not hold.; sent9 & sent11 -> int2: the tv-antenna is not a Tampax but it is a nucleotide.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the museum does slug boneset.; int4 & sent13 -> int5: the fact that the clinch is not depressant but it slugs boneset is false.; int5 & sent6 -> int6: the cuckoo-bumblebee does not slug bimetal.; int6 & sent4 -> hypothesis;
that the bimetal does not slug bimetal and is specific is not true.
sent8 -> int7: if the bimetal does not slug boneset then the fact that it does not slug bimetal and it is specific is not right.;
$hypothesis$ = the bimetal is non-syntagmatic thing that does not emigrate. ; $context$ = sent1: that the tv-antenna is not a kind of a Tampax but it is a nucleotide does not hold if the museum does not slug boneset. sent2: the clinch does emigrate. sent3: that that the tv-antenna is not a nucleotide but it is substantial hold is wrong if the Rambouillet does not slug boneset. sent4: the fact that the bimetal is not syntagmatic and does not emigrate is not correct if the cuckoo-bumblebee does not slug bimetal. sent5: that the Rambouillet does not emigrate but it is substantial does not hold if the bimetal is substantial. sent6: the cuckoo-bumblebee does not slug bimetal if that the clinch is not depressant and does slug boneset is wrong. sent7: that the clinch is not substantial and is depressant is false. sent8: if something does not slug boneset that it does not slug bimetal and it is a kind of a specific is not true. sent9: the tv-antenna is not a Tampax and is a nucleotide if the Rambouillet is not substantial. sent10: that the Rambouillet is substantial and a Tampax is not right. sent11: the Rambouillet is not substantial. sent12: if the tv-antenna is syntagmatic then that the bimetal is both a Tampax and syntagmatic is false. sent13: that the clinch is a kind of non-depressant thing that does slug boneset is not correct if the museum slug boneset. ; $proof$ = 
void -> assump1: Let's assume that the museum does not slug boneset.; sent1 & assump1 -> int1: that the tv-antenna is not a Tampax but it is a nucleotide does not hold.; sent9 & sent11 -> int2: the tv-antenna is not a Tampax but it is a nucleotide.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the museum does slug boneset.; int4 & sent13 -> int5: the fact that the clinch is not depressant but it slugs boneset is false.; int5 & sent6 -> int6: the cuckoo-bumblebee does not slug bimetal.; int6 & sent4 -> hypothesis; __DISPROVED__