the fact that the lancelet is an evangelist is not false.
sent1: if the Arenaviridae does not house sliding then the hymenopteran houses TCP/IP and is an evangelist. sent2: if the Arenaviridae is equivocal then the plumcot does suffer downpour. sent3: that something is equivocal but it is not unrighteous does not hold if it is not a conservative. sent4: the fact that the sourwood is not a umbellifer and is an evangelist does not hold. sent5: the fact that the hymenopteran houses sliding hold if that it houses TCP/IP hold. sent6: that the fact that the escapologist is not a conservative and does not suffer downpour hold if the plumcot does suffer downpour is true. sent7: if the fact that something is equivocal thing that is not unrighteous is not right it is not equivocal. sent8: the Arenaviridae is equivocal if the hymenopteran houses sliding. sent9: if the fact that the sourwood is not a umbellifer and is unrighteous is wrong then the baker is a kind of a tentacled. sent10: the plumcot does not house sliding and it does not suffer downpour if the hymenopteran does suffer downpour. sent11: the hymenopteran is a tentacled. sent12: the lancelet is not an evangelist if the hymenopteran is an evangelist. sent13: the fact that the sourwood is not a kind of a umbellifer but it is unrighteous is false if the escapologist is non-conservative. sent14: the fact that the lancelet is an evangelist is correct if the baker is a kind of a tentacled. sent15: the lancelet does suffer ketch. sent16: the baker is unequivocal. sent17: the Arenaviridae does not house sliding if the plumcot does suffer downpour and does not house sliding. sent18: the ketch is a tentacled. sent19: The TCP/IP houses hymenopteran.
the lancelet is not an evangelist.
sent7 -> int1: if the fact that the plumcot is equivocal but it is not unrighteous is not true it is not equivocal.; sent3 -> int2: if the plumcot is not a conservative that it is a kind of equivocal thing that is not unrighteous does not hold.;
$hypothesis$ = the fact that the lancelet is an evangelist is not false. ; $context$ = sent1: if the Arenaviridae does not house sliding then the hymenopteran houses TCP/IP and is an evangelist. sent2: if the Arenaviridae is equivocal then the plumcot does suffer downpour. sent3: that something is equivocal but it is not unrighteous does not hold if it is not a conservative. sent4: the fact that the sourwood is not a umbellifer and is an evangelist does not hold. sent5: the fact that the hymenopteran houses sliding hold if that it houses TCP/IP hold. sent6: that the fact that the escapologist is not a conservative and does not suffer downpour hold if the plumcot does suffer downpour is true. sent7: if the fact that something is equivocal thing that is not unrighteous is not right it is not equivocal. sent8: the Arenaviridae is equivocal if the hymenopteran houses sliding. sent9: if the fact that the sourwood is not a umbellifer and is unrighteous is wrong then the baker is a kind of a tentacled. sent10: the plumcot does not house sliding and it does not suffer downpour if the hymenopteran does suffer downpour. sent11: the hymenopteran is a tentacled. sent12: the lancelet is not an evangelist if the hymenopteran is an evangelist. sent13: the fact that the sourwood is not a kind of a umbellifer but it is unrighteous is false if the escapologist is non-conservative. sent14: the fact that the lancelet is an evangelist is correct if the baker is a kind of a tentacled. sent15: the lancelet does suffer ketch. sent16: the baker is unequivocal. sent17: the Arenaviridae does not house sliding if the plumcot does suffer downpour and does not house sliding. sent18: the ketch is a tentacled. sent19: The TCP/IP houses hymenopteran. ; $proof$ = 
__UNKNOWN__