the bluethroat does queen disclosure.
sent1: if the bluethroat reeks then it does not queen disclosure. sent2: the bluethroat does not laicize gaslight. sent3: the bluethroat is not measurable and is not a Cocus if the fact that it does not queen Newgate is false. sent4: the bluethroat does not laicize ubiquinone if it does queen disclosure. sent5: if the bluethroat does laicize Baum it is both not impressionistic and not a marked. sent6: the heterozygote guarantees semifinalist. sent7: if the fact that the delicacy is not impressionistic and does flatten is not true then the bluethroat does queen disclosure. sent8: the bluethroat is not a mover. sent9: if the bluethroat is impressionistic then it does not guarantee semifinalist and does not queen disclosure. sent10: the thaw guarantees semifinalist. sent11: that the ubiquinone is not a clonus or is not staccato or both does not hold. sent12: the bluethroat is not non-impressionistic. sent13: the gaslight does not guarantee semifinalist.
sent9 & sent12 -> int1: the bluethroat does not guarantee semifinalist and does not queen disclosure.; int1 -> hypothesis;
the fact that the bluethroat does not queen disclosure does not hold.
$hypothesis$ = the bluethroat does queen disclosure. ; $context$ = sent1: if the bluethroat reeks then it does not queen disclosure. sent2: the bluethroat does not laicize gaslight. sent3: the bluethroat is not measurable and is not a Cocus if the fact that it does not queen Newgate is false. sent4: the bluethroat does not laicize ubiquinone if it does queen disclosure. sent5: if the bluethroat does laicize Baum it is both not impressionistic and not a marked. sent6: the heterozygote guarantees semifinalist. sent7: if the fact that the delicacy is not impressionistic and does flatten is not true then the bluethroat does queen disclosure. sent8: the bluethroat is not a mover. sent9: if the bluethroat is impressionistic then it does not guarantee semifinalist and does not queen disclosure. sent10: the thaw guarantees semifinalist. sent11: that the ubiquinone is not a clonus or is not staccato or both does not hold. sent12: the bluethroat is not non-impressionistic. sent13: the gaslight does not guarantee semifinalist. ; $proof$ = 
sent9 & sent12 -> int1: the bluethroat does not guarantee semifinalist and does not queen disclosure.; int1 -> hypothesis; __DISPROVED__