the fact that that the ornamentalism or the keratinizing quitclaim or both happens hold is incorrect.
sent1: that the leonineness happens but the humming regression does not occur is not right. sent2: if that both the humming regression and the keratinizing quitclaim occurs does not hold then the keratinizing quitclaim does not occur. sent3: that the preceptorship happens results in the ornamentalism. sent4: the fact that the fact that the leonineness and the humming regression occurs is not wrong is false. sent5: the non-Nicaraguanness is prevented by that the unequalness but not the riding occurs. sent6: the humming regression happens if that the leonineness but not the humming regression occurs is false. sent7: the unequalness happens. sent8: that the keratinizing pyrethrum does not occur results in that the unavailableness and the non-leonineness happens. sent9: the fact that the humming regression happens and the keratinizing quitclaim occurs is incorrect if the availableness does not occur. sent10: if the fact that the Nicaraguanness happens and the scar occurs is not correct the hop does not occur. sent11: the keratinizing intention happens. sent12: that the scarring does not occur and the Nicaraguanness happens is not true if the humming regression happens. sent13: if the fact that the shushing bandsman occurs and the obsessing does not occur does not hold then the boldness does not occur. sent14: that the preceptorship happens hold if the scarring happens. sent15: if the boldness does not occur the keratinizing pyrethrum does not occur and the indistinguishableness occurs. sent16: that the unequalness but not the ride happens hold.
sent5 & sent16 -> int1: the Nicaraguanness occurs.; void -> assump1: Let's assume that the scar does not occur.; int1 & assump1 -> int2: not the scar but the Nicaraguan happens.; sent6 & sent1 -> int3: the humming regression happens.; sent12 & int3 -> int4: that that the fact that not the scar but the Nicaraguan occurs is right is wrong is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the scarring happens is not wrong.; int6 & sent14 -> int7: the preceptorship occurs.; int7 & sent3 -> int8: the ornamentalism happens.; int8 -> hypothesis;
that the ornamentalism occurs or the keratinizing quitclaim occurs or both is not true.
 -> hypothesis;
$hypothesis$ = the fact that that the ornamentalism or the keratinizing quitclaim or both happens hold is incorrect. ; $context$ = sent1: that the leonineness happens but the humming regression does not occur is not right. sent2: if that both the humming regression and the keratinizing quitclaim occurs does not hold then the keratinizing quitclaim does not occur. sent3: that the preceptorship happens results in the ornamentalism. sent4: the fact that the fact that the leonineness and the humming regression occurs is not wrong is false. sent5: the non-Nicaraguanness is prevented by that the unequalness but not the riding occurs. sent6: the humming regression happens if that the leonineness but not the humming regression occurs is false. sent7: the unequalness happens. sent8: that the keratinizing pyrethrum does not occur results in that the unavailableness and the non-leonineness happens. sent9: the fact that the humming regression happens and the keratinizing quitclaim occurs is incorrect if the availableness does not occur. sent10: if the fact that the Nicaraguanness happens and the scar occurs is not correct the hop does not occur. sent11: the keratinizing intention happens. sent12: that the scarring does not occur and the Nicaraguanness happens is not true if the humming regression happens. sent13: if the fact that the shushing bandsman occurs and the obsessing does not occur does not hold then the boldness does not occur. sent14: that the preceptorship happens hold if the scarring happens. sent15: if the boldness does not occur the keratinizing pyrethrum does not occur and the indistinguishableness occurs. sent16: that the unequalness but not the ride happens hold. ; $proof$ = 
sent5 & sent16 -> int1: the Nicaraguanness occurs.; void -> assump1: Let's assume that the scar does not occur.; int1 & assump1 -> int2: not the scar but the Nicaraguan happens.; sent6 & sent1 -> int3: the humming regression happens.; sent12 & int3 -> int4: that that the fact that not the scar but the Nicaraguan occurs is right is wrong is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the scarring happens is not wrong.; int6 & sent14 -> int7: the preceptorship occurs.; int7 & sent3 -> int8: the ornamentalism happens.; int8 -> hypothesis; __DISPROVED__