the outgrowing cassiterite does not occur and/or the superior happens.
sent1: that the irrigating happens hold. sent2: if the resuming does not occur then the stiffening and the irrigating happens. sent3: the Altaic occurs. sent4: the honing caddie or the recessive or both happens. sent5: the junketing does not occur and the sting does not occur. sent6: the fact that the outgrowing cassiterite does not occur and/or the superiorness occurs is not correct if the noncollapsibleness does not occur. sent7: the stiffening does not occur if the fact that both the honing rounding and the Californian occurs is correct. sent8: if the Californianness does not occur and the junketing does not occur the noncollapsibleness does not occur. sent9: the outgrowing reunion happens. sent10: the fact that the superior does not occur hold. sent11: the outgrowing cassiterite does not occur and/or the superiorness occurs if the honing caddie does not occur. sent12: the resuming does not occur. sent13: the sting does not occur. sent14: either the stiffening does not occur or the Californianness does not occur or both if the junketing occurs. sent15: if the honing caddie happens then the honing rounding occurs. sent16: the honing rounding happens if the recessiveness occurs. sent17: if that not the junketing but the irrigating occurs is false that the junketing happens hold.
sent4 & sent15 & sent16 -> int1: the honing rounding happens.; void -> assump1: Let's assume that the Californian happens.; int1 & assump1 -> int2: the honing rounding happens and the Californian happens.; int2 & sent7 -> int3: the stiffening does not occur.; sent2 & sent12 -> int4: the stiffening and the irrigating happens.; int4 -> int5: the stiffening happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Californian does not occur.; sent5 -> int8: the junketing does not occur.; int7 & int8 -> int9: the Californianness does not occur and the junketing does not occur.; int9 & sent8 -> int10: the fact that the noncollapsibleness does not occur is correct.; int10 & sent6 -> hypothesis;
either the outgrowing cassiterite does not occur or the superior occurs or both.
$hypothesis$ = the outgrowing cassiterite does not occur and/or the superior happens. ; $context$ = sent1: that the irrigating happens hold. sent2: if the resuming does not occur then the stiffening and the irrigating happens. sent3: the Altaic occurs. sent4: the honing caddie or the recessive or both happens. sent5: the junketing does not occur and the sting does not occur. sent6: the fact that the outgrowing cassiterite does not occur and/or the superiorness occurs is not correct if the noncollapsibleness does not occur. sent7: the stiffening does not occur if the fact that both the honing rounding and the Californian occurs is correct. sent8: if the Californianness does not occur and the junketing does not occur the noncollapsibleness does not occur. sent9: the outgrowing reunion happens. sent10: the fact that the superior does not occur hold. sent11: the outgrowing cassiterite does not occur and/or the superiorness occurs if the honing caddie does not occur. sent12: the resuming does not occur. sent13: the sting does not occur. sent14: either the stiffening does not occur or the Californianness does not occur or both if the junketing occurs. sent15: if the honing caddie happens then the honing rounding occurs. sent16: the honing rounding happens if the recessiveness occurs. sent17: if that not the junketing but the irrigating occurs is false that the junketing happens hold. ; $proof$ = 
sent4 & sent15 & sent16 -> int1: the honing rounding happens.; void -> assump1: Let's assume that the Californian happens.; int1 & assump1 -> int2: the honing rounding happens and the Californian happens.; int2 & sent7 -> int3: the stiffening does not occur.; sent2 & sent12 -> int4: the stiffening and the irrigating happens.; int4 -> int5: the stiffening happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Californian does not occur.; sent5 -> int8: the junketing does not occur.; int7 & int8 -> int9: the Californianness does not occur and the junketing does not occur.; int9 & sent8 -> int10: the fact that the noncollapsibleness does not occur is correct.; int10 & sent6 -> hypothesis; __DISPROVED__