that the Riemannianness does not occur if the salableness happens does not hold.
sent1: the non-salableness is prevented by that the Riemannianness and the belemniticness occurs. sent2: that the ingenue happens and the bleating occurs prevents the adiabaticness. sent3: that the breeze happens is not false. sent4: that the animatedness occurs is not incorrect. sent5: that the salableness occurs is prevented by that the Riemannianness occurs and the belemniticness happens. sent6: the roundup occurs. sent7: that the secondariness occurs is correct. sent8: the Riemannianness occurs if the salableness occurs. sent9: that the belemniticness does not occur triggers that the curricularness does not occur and the Riemannianness happens. sent10: the belemniticness occurs.
void -> assump2: Let's assume that the salableness happens.; void -> assump1: Let's assume that the Riemannianness occurs.; assump1 & sent10 -> int1: the Riemannianness occurs and the belemniticness occurs.; sent5 & int1 -> int2: the salableness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Riemannianness does not occur.; [assump2] & int4 -> hypothesis;
that the curricularness does not occur is not incorrect.
$hypothesis$ = that the Riemannianness does not occur if the salableness happens does not hold. ; $context$ = sent1: the non-salableness is prevented by that the Riemannianness and the belemniticness occurs. sent2: that the ingenue happens and the bleating occurs prevents the adiabaticness. sent3: that the breeze happens is not false. sent4: that the animatedness occurs is not incorrect. sent5: that the salableness occurs is prevented by that the Riemannianness occurs and the belemniticness happens. sent6: the roundup occurs. sent7: that the secondariness occurs is correct. sent8: the Riemannianness occurs if the salableness occurs. sent9: that the belemniticness does not occur triggers that the curricularness does not occur and the Riemannianness happens. sent10: the belemniticness occurs. ; $proof$ = 
void -> assump2: Let's assume that the salableness happens.; void -> assump1: Let's assume that the Riemannianness occurs.; assump1 & sent10 -> int1: the Riemannianness occurs and the belemniticness occurs.; sent5 & int1 -> int2: the salableness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Riemannianness does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__