the Siren is not a Cervidae.
sent1: that the Siren is not a nominative if the tinker does lamb acetanilide is not wrong. sent2: The daystar turns spectinomycin. sent3: the cup is not a nominative. sent4: that the cup is a unsatisfactoriness and does double is not right if there exists something such that it does adduct steamroller. sent5: if the spectinomycin is not extrasystolic then the tinker is inharmonious and it lambs Light. sent6: the dhak does not lamb Light. sent7: the fact that the cup is both a unsatisfactoriness and not doubling is false if there is something such that it does adduct steamroller. sent8: if the cup adducts steamroller then the fact that the dhak broaches and is not a Cervidae is incorrect. sent9: that either the cup is not a Cervidae or it is not a kind of a unsatisfactoriness or both is incorrect if the dhak adducts steamroller. sent10: the dhak is not inharmonious if that the cup is not a doubling is incorrect. sent11: The Light does not lamb dhak. sent12: the Siren is a kind of a Cervidae if that the cup is not a kind of a Cervidae and/or is not a kind of a unsatisfactoriness is not right. sent13: the tinker does lamb acetanilide if the spectinomycin does turn daystar. sent14: the fact that the dhak is not inharmonious is true if the fact that the cup is a kind of a unsatisfactoriness that is not a doubling is not right. sent15: there is something such that it adducts steamroller. sent16: if the dhak does not lamb Light and it is harmonious the Siren is not extrasystolic. sent17: the spectinomycin is not doubling. sent18: something that is not extrasystolic and is not a nominative is not a kind of a Cervidae.
sent15 & sent7 -> int1: that the cup is a unsatisfactoriness that is not a doubling is not correct.; int1 & sent14 -> int2: the dhak is not inharmonious.; int2 & sent6 -> int3: the dhak does not lamb Light and it is not inharmonious.; int3 & sent16 -> int4: the Siren is not extrasystolic.; sent18 -> int5: if the Siren is not extrasystolic and it is not a nominative then it is not a Cervidae.;
the Siren is a Cervidae.
$hypothesis$ = the Siren is not a Cervidae. ; $context$ = sent1: that the Siren is not a nominative if the tinker does lamb acetanilide is not wrong. sent2: The daystar turns spectinomycin. sent3: the cup is not a nominative. sent4: that the cup is a unsatisfactoriness and does double is not right if there exists something such that it does adduct steamroller. sent5: if the spectinomycin is not extrasystolic then the tinker is inharmonious and it lambs Light. sent6: the dhak does not lamb Light. sent7: the fact that the cup is both a unsatisfactoriness and not doubling is false if there is something such that it does adduct steamroller. sent8: if the cup adducts steamroller then the fact that the dhak broaches and is not a Cervidae is incorrect. sent9: that either the cup is not a Cervidae or it is not a kind of a unsatisfactoriness or both is incorrect if the dhak adducts steamroller. sent10: the dhak is not inharmonious if that the cup is not a doubling is incorrect. sent11: The Light does not lamb dhak. sent12: the Siren is a kind of a Cervidae if that the cup is not a kind of a Cervidae and/or is not a kind of a unsatisfactoriness is not right. sent13: the tinker does lamb acetanilide if the spectinomycin does turn daystar. sent14: the fact that the dhak is not inharmonious is true if the fact that the cup is a kind of a unsatisfactoriness that is not a doubling is not right. sent15: there is something such that it adducts steamroller. sent16: if the dhak does not lamb Light and it is harmonious the Siren is not extrasystolic. sent17: the spectinomycin is not doubling. sent18: something that is not extrasystolic and is not a nominative is not a kind of a Cervidae. ; $proof$ = 
sent15 & sent7 -> int1: that the cup is a unsatisfactoriness that is not a doubling is not correct.; int1 & sent14 -> int2: the dhak is not inharmonious.; int2 & sent6 -> int3: the dhak does not lamb Light and it is not inharmonious.; int3 & sent16 -> int4: the Siren is not extrasystolic.; sent18 -> int5: if the Siren is not extrasystolic and it is not a nominative then it is not a Cervidae.; __UNKNOWN__