if the refinement occurs the triumphalness does not occur.
sent1: the doubleheader does not occur and the demolition does not occur. sent2: the fact that the fact that the Thracian occurs or the fertilization happens or both is right is not correct. sent3: the fact that both the responsiveness and the metabolizing Leptotyphlopidae happens is not false. sent4: if that the metabolizing bottomlessness and the propositioning occurs is true the obviation does not occur. sent5: the meowing does not occur and the starriness does not occur. sent6: the replicating bayonet does not occur if the fact that the forgetting happens and/or the insulating occurs is not correct. sent7: the fact that the studying wally does not occur and the repetition does not occur does not hold. sent8: the enhancement does not occur if the fact that the sob occurs and/or the replicating disclaimer happens is not correct. sent9: the triumphalness is prevented by that the squiring coolant does not occur. sent10: the technical does not occur and the predestinarianness does not occur. sent11: that the opposableness and the Hispaniolanness occurs does not hold if the refinement does not occur. sent12: the squiring Eight does not occur if the fact that the replicating bayonet or the squiring Sorbian or both happens is wrong. sent13: the squiring transalpine does not occur and the metabolizing Copland does not occur. sent14: the mess does not occur. sent15: that the non-unopposableness and the non-Hispaniolanness occurs is false. sent16: the cabinetwork does not occur. sent17: the production does not occur. sent18: that the studying wally occurs is prevented by the insulating. sent19: if the fact that the Thracian occurs and/or the fertilization happens is not true that the unopposableness does not occur is correct. sent20: the fact that the achromaticness happens hold. sent21: the fertilization does not occur. sent22: the replicating roadblock does not occur. sent23: the fact that the providentialness does not occur and the tear does not occur is false. sent24: the squiring coolant does not occur if the Hispaniolanness happens and the refinement occurs. sent25: the Lancastrianness does not occur if that the opposableness and the Hispaniolanness occurs does not hold.
sent19 & sent2 -> int1: the unopposableness does not occur.; void -> assump1: Let's assume that the Hispaniolanness does not occur.; int1 & assump1 -> int2: both the opposableness and the non-Hispaniolanness happens.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Hispaniolanness happens is correct.; void -> assump2: Let's assume that the refinement happens.; int4 & assump2 -> int5: both the Hispaniolanness and the refinement happens.; int5 & sent24 -> int6: the squiring coolant does not occur.; int6 & sent9 -> int7: the triumphalness does not occur.; [assump2] & int7 -> hypothesis;
the Lancastrian does not occur.
$hypothesis$ = if the refinement occurs the triumphalness does not occur. ; $context$ = sent1: the doubleheader does not occur and the demolition does not occur. sent2: the fact that the fact that the Thracian occurs or the fertilization happens or both is right is not correct. sent3: the fact that both the responsiveness and the metabolizing Leptotyphlopidae happens is not false. sent4: if that the metabolizing bottomlessness and the propositioning occurs is true the obviation does not occur. sent5: the meowing does not occur and the starriness does not occur. sent6: the replicating bayonet does not occur if the fact that the forgetting happens and/or the insulating occurs is not correct. sent7: the fact that the studying wally does not occur and the repetition does not occur does not hold. sent8: the enhancement does not occur if the fact that the sob occurs and/or the replicating disclaimer happens is not correct. sent9: the triumphalness is prevented by that the squiring coolant does not occur. sent10: the technical does not occur and the predestinarianness does not occur. sent11: that the opposableness and the Hispaniolanness occurs does not hold if the refinement does not occur. sent12: the squiring Eight does not occur if the fact that the replicating bayonet or the squiring Sorbian or both happens is wrong. sent13: the squiring transalpine does not occur and the metabolizing Copland does not occur. sent14: the mess does not occur. sent15: that the non-unopposableness and the non-Hispaniolanness occurs is false. sent16: the cabinetwork does not occur. sent17: the production does not occur. sent18: that the studying wally occurs is prevented by the insulating. sent19: if the fact that the Thracian occurs and/or the fertilization happens is not true that the unopposableness does not occur is correct. sent20: the fact that the achromaticness happens hold. sent21: the fertilization does not occur. sent22: the replicating roadblock does not occur. sent23: the fact that the providentialness does not occur and the tear does not occur is false. sent24: the squiring coolant does not occur if the Hispaniolanness happens and the refinement occurs. sent25: the Lancastrianness does not occur if that the opposableness and the Hispaniolanness occurs does not hold. ; $proof$ = 
sent19 & sent2 -> int1: the unopposableness does not occur.; void -> assump1: Let's assume that the Hispaniolanness does not occur.; int1 & assump1 -> int2: both the opposableness and the non-Hispaniolanness happens.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Hispaniolanness happens is correct.; void -> assump2: Let's assume that the refinement happens.; int4 & assump2 -> int5: both the Hispaniolanness and the refinement happens.; int5 & sent24 -> int6: the squiring coolant does not occur.; int6 & sent9 -> int7: the triumphalness does not occur.; [assump2] & int7 -> hypothesis; __PROVED__