the seminarian rationalizes hyperon if the tachometer is a morale.
sent1: the seminarian does not rationalize hyperon and it is not high-resolution. sent2: that the seminarian does not rationalize hyperon and is not a morale is true. sent3: the seminarian is a gouger but it does not rationalize hyperon. sent4: the ferrocyanide is a morale. sent5: the tachometer is a kind of a fabric. sent6: if the fact that the wallah is high-resolution is right then the tachometer pours. sent7: something that does sentimentalise one-millionth is a kind of a perfumery. sent8: if the wallah does not pour that the seminarian does rationalize hyperon is true. sent9: if the tachometer does rationalize hyperon the seminarian is high-resolution. sent10: the tachometer does not rationalize gong and/or it is a fabric. sent11: the seminarian is non-high-resolution thing that does not rationalize hyperon. sent12: the tachometer pours. sent13: if the seminarian does not rationalize hyperon then the tachometer does pour. sent14: something rationalizes hyperon and pours if it does not lime rehash. sent15: if the wallah is a perfumery that the snailflower is not a covert but it is a kind of a anthropophagy does not hold. sent16: the seminarian is not a morale. sent17: the wallah does sentimentalise one-millionth if it is dipolar. sent18: if that something is non-covert thing that is a anthropophagy is not right it does not lime rehash.
void -> assump2: Let's assume that the tachometer is a kind of a morale.;
the snailflower pours.
sent14 -> int1: if the snailflower does not lime rehash it rationalizes hyperon and it does pour.; sent18 -> int2: the snailflower does not lime rehash if that it is not a covert and it is a kind of a anthropophagy is not correct.; sent7 -> int3: if the wallah sentimentalises one-millionth then it is a perfumery.; sent10 -> int4: something does not rationalize gong and/or it is a fabric.;
$hypothesis$ = the seminarian rationalizes hyperon if the tachometer is a morale. ; $context$ = sent1: the seminarian does not rationalize hyperon and it is not high-resolution. sent2: that the seminarian does not rationalize hyperon and is not a morale is true. sent3: the seminarian is a gouger but it does not rationalize hyperon. sent4: the ferrocyanide is a morale. sent5: the tachometer is a kind of a fabric. sent6: if the fact that the wallah is high-resolution is right then the tachometer pours. sent7: something that does sentimentalise one-millionth is a kind of a perfumery. sent8: if the wallah does not pour that the seminarian does rationalize hyperon is true. sent9: if the tachometer does rationalize hyperon the seminarian is high-resolution. sent10: the tachometer does not rationalize gong and/or it is a fabric. sent11: the seminarian is non-high-resolution thing that does not rationalize hyperon. sent12: the tachometer pours. sent13: if the seminarian does not rationalize hyperon then the tachometer does pour. sent14: something rationalizes hyperon and pours if it does not lime rehash. sent15: if the wallah is a perfumery that the snailflower is not a covert but it is a kind of a anthropophagy does not hold. sent16: the seminarian is not a morale. sent17: the wallah does sentimentalise one-millionth if it is dipolar. sent18: if that something is non-covert thing that is a anthropophagy is not right it does not lime rehash. ; $proof$ = 
void -> assump2: Let's assume that the tachometer is a kind of a morale.; __UNKNOWN__