the nephrite is a kind of a non-resistant.
sent1: the Po is not a kind of a Vendemiaire if there is something such that the fact that it does not redecorate sangaree and it is non-Arabic is not right. sent2: if there exists something such that that it does fall transmitter and it redecorates Limousin is wrong then the egocentric does not redecorates Limousin. sent3: if something does not redecorate Limousin that it either falls Po or does not redecorate ounce or both does not hold. sent4: the equinox is a ballade if there is something such that it is not a splice and is a non-resistant. sent5: the yellowtail is syllabic thing that is not a kind of a lovastatin if that the diploid is a kind of a guttural is not wrong. sent6: the nephrite is a kind of a moon if it is not a kind of a ballade. sent7: the transmitter does not fall Po if the fact that either the egocentric fall Po or it does not redecorate ounce or both is false. sent8: that the food does fall transmitter and does redecorate Limousin is not true if that the Po is not a Vendemiaire is not false. sent9: if the syconium is a moon then it is not a kind of a splice and it is a non-resistant. sent10: the syconium is not a lodgepole. sent11: the food is a ballade. sent12: if the grebe is a kind of a guttural the diploid is a guttural. sent13: there is something such that that that it does not redecorate sangaree and it is not a Arabic is correct is false. sent14: if something is not a lovastatin it is a preserve and/or it is a kind of a moon. sent15: the grebe is guttural and it is a touch if the transmitter does not fall Po. sent16: the syconium does not moon and is a ballade. sent17: something that is not a kind of a ballade is a non-resistant. sent18: if the yellowtail preserves the syconium is a kind of a moon. sent19: if something is not a moon then that it is a ballade and it does splice is not correct.
sent17 -> int1: if the nephrite is not a ballade it is a non-resistant.;
the nephrite is not a non-resistant.
sent19 -> int2: the fact that the syconium is a ballade and it splices is wrong if it does not moon.;
$hypothesis$ = the nephrite is a kind of a non-resistant. ; $context$ = sent1: the Po is not a kind of a Vendemiaire if there is something such that the fact that it does not redecorate sangaree and it is non-Arabic is not right. sent2: if there exists something such that that it does fall transmitter and it redecorates Limousin is wrong then the egocentric does not redecorates Limousin. sent3: if something does not redecorate Limousin that it either falls Po or does not redecorate ounce or both does not hold. sent4: the equinox is a ballade if there is something such that it is not a splice and is a non-resistant. sent5: the yellowtail is syllabic thing that is not a kind of a lovastatin if that the diploid is a kind of a guttural is not wrong. sent6: the nephrite is a kind of a moon if it is not a kind of a ballade. sent7: the transmitter does not fall Po if the fact that either the egocentric fall Po or it does not redecorate ounce or both is false. sent8: that the food does fall transmitter and does redecorate Limousin is not true if that the Po is not a Vendemiaire is not false. sent9: if the syconium is a moon then it is not a kind of a splice and it is a non-resistant. sent10: the syconium is not a lodgepole. sent11: the food is a ballade. sent12: if the grebe is a kind of a guttural the diploid is a guttural. sent13: there is something such that that that it does not redecorate sangaree and it is not a Arabic is correct is false. sent14: if something is not a lovastatin it is a preserve and/or it is a kind of a moon. sent15: the grebe is guttural and it is a touch if the transmitter does not fall Po. sent16: the syconium does not moon and is a ballade. sent17: something that is not a kind of a ballade is a non-resistant. sent18: if the yellowtail preserves the syconium is a kind of a moon. sent19: if something is not a moon then that it is a ballade and it does splice is not correct. ; $proof$ = 
sent17 -> int1: if the nephrite is not a ballade it is a non-resistant.; __UNKNOWN__