the anathema is a kind of a lighted.
sent1: if the sprawl does assail setup the pledgee assail setup. sent2: if the anathema does not assail setup the fact that either it is not a lighted or it is a kind of a Burmese or both is wrong. sent3: the fact that the Tajik assails setup hold. sent4: the sprawl is not impervious if that that either the crabs does trumpet or it is not impervious or both is not true is not wrong. sent5: that the sprawl does not chance readout and/or is a kind of a Burmese does not hold if it does not assail setup. sent6: the sprawl is not a backed. sent7: the buckwheat chances readout. sent8: that the anathema is not transatlantic and/or it is a Burmese is not true. sent9: if the sprawl does not assail setup it is not a Burmese. sent10: the anathema is a kind of a lighted if that the sprawl does not chance readout or it is a Burmese or both is not right. sent11: the sprawl is not a kind of a Burmese. sent12: the sprawl is a Burmese if the fact that the anathema either does not chance readout or does light or both is not right. sent13: The setup does not assail sprawl. sent14: that something does assail setup and/or it is a nitrazepam is not right if it is not impervious.
the anathema is not a kind of a lighted.
sent14 -> int1: if the fact that the sprawl is not impervious is not wrong that either it does assail setup or it is a kind of a nitrazepam or both does not hold.;
$hypothesis$ = the anathema is a kind of a lighted. ; $context$ = sent1: if the sprawl does assail setup the pledgee assail setup. sent2: if the anathema does not assail setup the fact that either it is not a lighted or it is a kind of a Burmese or both is wrong. sent3: the fact that the Tajik assails setup hold. sent4: the sprawl is not impervious if that that either the crabs does trumpet or it is not impervious or both is not true is not wrong. sent5: that the sprawl does not chance readout and/or is a kind of a Burmese does not hold if it does not assail setup. sent6: the sprawl is not a backed. sent7: the buckwheat chances readout. sent8: that the anathema is not transatlantic and/or it is a Burmese is not true. sent9: if the sprawl does not assail setup it is not a Burmese. sent10: the anathema is a kind of a lighted if that the sprawl does not chance readout or it is a Burmese or both is not right. sent11: the sprawl is not a kind of a Burmese. sent12: the sprawl is a Burmese if the fact that the anathema either does not chance readout or does light or both is not right. sent13: The setup does not assail sprawl. sent14: that something does assail setup and/or it is a nitrazepam is not right if it is not impervious. ; $proof$ = 
__UNKNOWN__