the oxide is not a kind of a oscine and is colorful.
sent1: the Champaign is not a kind of a Tutsi. sent2: the cod is non-cytoplastic if it is a lady's-eardrop and it is a kind of a lowercase. sent3: the fact that the Champaign is cytoplastic is right. sent4: the Coloradan debuts oxide. sent5: the cod is a kind of a lady's-eardrop. sent6: the oxide is lowercase. sent7: that if the Champaign is lowercase thing that is colorful the Champaign does not unpick astronomer is not false. sent8: The oxide debuts Coloradan. sent9: the fact that the Coloradan does debut oxide but it is not a kind of a oscine is not correct. sent10: the oxide is colorful if the Champaign is not colorful. sent11: the oxide is colorful. sent12: the Coloradan is non-cytoplastic thing that does not unpick astronomer. sent13: the Coloradan is not cytoplastic. sent14: the Abecedarian does not debut oxide and is not a spike. sent15: the fact that the Coloradan debuts oxide but it does not unpick astronomer is false if the Champaign does not unpick astronomer. sent16: the Champaign is not a Tutsi but it is a kind of a lowercase if the Abecedarian is a kind of a lowercase. sent17: the Champaign is not a kind of a Tutsi if the Abecedarian is lowercase. sent18: the fact that the cod is both a Tutsi and not a lady's-eardrop does not hold. sent19: the oxide is not oscine but colorful if the Champaign is not colorful.
void -> assump1: Let's assume that the Champaign is colorful.; sent12 -> int1: the fact that the Coloradan does not unpick astronomer is not incorrect.; sent4 & int1 -> int2: the Coloradan debuts oxide and does not unpick astronomer.;
$hypothesis$ = the oxide is not a kind of a oscine and is colorful. ; $context$ = sent1: the Champaign is not a kind of a Tutsi. sent2: the cod is non-cytoplastic if it is a lady's-eardrop and it is a kind of a lowercase. sent3: the fact that the Champaign is cytoplastic is right. sent4: the Coloradan debuts oxide. sent5: the cod is a kind of a lady's-eardrop. sent6: the oxide is lowercase. sent7: that if the Champaign is lowercase thing that is colorful the Champaign does not unpick astronomer is not false. sent8: The oxide debuts Coloradan. sent9: the fact that the Coloradan does debut oxide but it is not a kind of a oscine is not correct. sent10: the oxide is colorful if the Champaign is not colorful. sent11: the oxide is colorful. sent12: the Coloradan is non-cytoplastic thing that does not unpick astronomer. sent13: the Coloradan is not cytoplastic. sent14: the Abecedarian does not debut oxide and is not a spike. sent15: the fact that the Coloradan debuts oxide but it does not unpick astronomer is false if the Champaign does not unpick astronomer. sent16: the Champaign is not a Tutsi but it is a kind of a lowercase if the Abecedarian is a kind of a lowercase. sent17: the Champaign is not a kind of a Tutsi if the Abecedarian is lowercase. sent18: the fact that the cod is both a Tutsi and not a lady's-eardrop does not hold. sent19: the oxide is not oscine but colorful if the Champaign is not colorful. ; $proof$ = 
void -> assump1: Let's assume that the Champaign is colorful.; sent12 -> int1: the fact that the Coloradan does not unpick astronomer is not incorrect.; sent4 & int1 -> int2: the Coloradan debuts oxide and does not unpick astronomer.; __UNKNOWN__