the croupier scours cyme.
sent1: the fact that the cyclist interrelates and is a prepayment is wrong. sent2: if that the cyclist is not a prepayment but it is a porkfish is not right then the Adelie is not a kind of a noncom. sent3: the fact that something is either a cock or a noncom or both does not hold if it does not interrelate. sent4: the dustcart is not a podetium. sent5: the drawler is not a riffle if it is a Samuel and it is not megakaryocytic. sent6: the fact that the drawler is a Samuel and is megakaryocytic is not correct. sent7: something does cock if it is a kind of a smoke. sent8: if the fact that the drawler does not riffle hold then that the cyclist is not a prepayment but it is a porkfish is incorrect. sent9: the harebell is a kind of a Pterodactylus and it is a smoke if there exists something such that it is not a VCR. sent10: the trigon is not a prepayment if that the croupier is not a noncom but it does scour cyme is wrong. sent11: there is something such that it is not a VCR. sent12: that the trigon does interrelate and is not a kind of a noncom does not hold if the fact that the Adelie is not a noncom is true. sent13: if something is both a porkfish and a riffle then the croupier does not scour cyme. sent14: there is something such that it is a VCR. sent15: the fact that the croupier does scour cyme is not incorrect if there is something such that the fact that it is a kind of a Samuel that is not megakaryocytic is incorrect.
void -> assump1: Let's assume that the drawler is a Samuel and is not megakaryocytic.; sent5 & assump1 -> int1: the drawler is not a kind of a riffle.; int1 & sent8 -> int2: the fact that the cyclist is not a prepayment but it is a porkfish does not hold.; int2 & sent2 -> int3: the Adelie is not a noncom.; int3 & sent12 -> int4: that the trigon does interrelate and is not a noncom is not correct.; sent7 -> int5: the harebell is a cock if it is a kind of a smoke.; sent11 & sent9 -> int6: the harebell is a Pterodactylus and it does smoke.; int6 -> int7: that the harebell does not smoke does not hold.; int5 & int7 -> int8: the harebell is a cock.;
the croupier does not scour cyme.
sent3 -> int9: that the Adelie is either a cock or a noncom or both is incorrect if it does not interrelate.;
$hypothesis$ = the croupier scours cyme. ; $context$ = sent1: the fact that the cyclist interrelates and is a prepayment is wrong. sent2: if that the cyclist is not a prepayment but it is a porkfish is not right then the Adelie is not a kind of a noncom. sent3: the fact that something is either a cock or a noncom or both does not hold if it does not interrelate. sent4: the dustcart is not a podetium. sent5: the drawler is not a riffle if it is a Samuel and it is not megakaryocytic. sent6: the fact that the drawler is a Samuel and is megakaryocytic is not correct. sent7: something does cock if it is a kind of a smoke. sent8: if the fact that the drawler does not riffle hold then that the cyclist is not a prepayment but it is a porkfish is incorrect. sent9: the harebell is a kind of a Pterodactylus and it is a smoke if there exists something such that it is not a VCR. sent10: the trigon is not a prepayment if that the croupier is not a noncom but it does scour cyme is wrong. sent11: there is something such that it is not a VCR. sent12: that the trigon does interrelate and is not a kind of a noncom does not hold if the fact that the Adelie is not a noncom is true. sent13: if something is both a porkfish and a riffle then the croupier does not scour cyme. sent14: there is something such that it is a VCR. sent15: the fact that the croupier does scour cyme is not incorrect if there is something such that the fact that it is a kind of a Samuel that is not megakaryocytic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the drawler is a Samuel and is not megakaryocytic.; sent5 & assump1 -> int1: the drawler is not a kind of a riffle.; int1 & sent8 -> int2: the fact that the cyclist is not a prepayment but it is a porkfish does not hold.; int2 & sent2 -> int3: the Adelie is not a noncom.; int3 & sent12 -> int4: that the trigon does interrelate and is not a noncom is not correct.; sent7 -> int5: the harebell is a cock if it is a kind of a smoke.; sent11 & sent9 -> int6: the harebell is a Pterodactylus and it does smoke.; int6 -> int7: that the harebell does not smoke does not hold.; int5 & int7 -> int8: the harebell is a cock.; __UNKNOWN__