that the utopianness happens but the gravity does not occur is wrong if the polka happens.
sent1: that not the Charlestoning but the polka happens prevents the sampling veined. sent2: if the fact that the polka happens is right the fact that the utopianness and the gravity occurs is wrong. sent3: if the repressing brittle does not occur the obstetricsness occurs and the chrysotherapy happens. sent4: the excreting Pterocarpus happens if the nitrifying occurs. sent5: the repressing brittle does not occur. sent6: if the uricness does not occur but the chrysotherapy occurs the Charlestoning does not occur. sent7: if the polka occurs then the utopianness but not the gravity happens. sent8: that the utopianness occurs and the gravity happens is wrong if the sampling veined does not occur. sent9: if the whiz occurs the excreting Pterocarpus occurs. sent10: the utopianness occurs but the gravity does not occur. sent11: that the utopianness but not the gravity occurs is incorrect if the sampling veined does not occur. sent12: the nitrifying occurs and/or the whiz happens. sent13: the utopianness occurs but the gravity does not occur if the sampling veined does not occur.
sent12 & sent4 & sent9 -> int1: the excreting Pterocarpus happens.; sent3 & sent5 -> int2: both the obstetricsness and the chrysotherapy happens.; int2 -> int3: the chrysotherapy happens.;
$hypothesis$ = that the utopianness happens but the gravity does not occur is wrong if the polka happens. ; $context$ = sent1: that not the Charlestoning but the polka happens prevents the sampling veined. sent2: if the fact that the polka happens is right the fact that the utopianness and the gravity occurs is wrong. sent3: if the repressing brittle does not occur the obstetricsness occurs and the chrysotherapy happens. sent4: the excreting Pterocarpus happens if the nitrifying occurs. sent5: the repressing brittle does not occur. sent6: if the uricness does not occur but the chrysotherapy occurs the Charlestoning does not occur. sent7: if the polka occurs then the utopianness but not the gravity happens. sent8: that the utopianness occurs and the gravity happens is wrong if the sampling veined does not occur. sent9: if the whiz occurs the excreting Pterocarpus occurs. sent10: the utopianness occurs but the gravity does not occur. sent11: that the utopianness but not the gravity occurs is incorrect if the sampling veined does not occur. sent12: the nitrifying occurs and/or the whiz happens. sent13: the utopianness occurs but the gravity does not occur if the sampling veined does not occur. ; $proof$ = 
sent12 & sent4 & sent9 -> int1: the excreting Pterocarpus happens.; sent3 & sent5 -> int2: both the obstetricsness and the chrysotherapy happens.; int2 -> int3: the chrysotherapy happens.; __UNKNOWN__