the allergenicness does not occur.
sent1: that the hibernation does not occur brings about that the wiriness happens and the invitationalness happens. sent2: if either the lastingness occurs or the wiriness occurs or both then the fact that the allergenicness does not occur is right. sent3: the packing happens but the radiolucentness does not occur. sent4: if the backgammon or the hibernation or both occurs then the packing does not occur.
void -> assump1: Let's assume that the hibernation occurs.; assump1 -> int1: the backgammon occurs and/or the hibernation occurs.; int1 & sent4 -> int2: the packing does not occur.; sent3 -> int3: the pack occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hibernation does not occur.; int5 & sent1 -> int6: the wiriness occurs and the invitationalness occurs.; int6 -> int7: the wiriness happens.; int7 -> int8: the lasting and/or the wiriness occurs.; int8 & sent2 -> hypothesis;
$hypothesis$ = the allergenicness does not occur. ; $context$ = sent1: that the hibernation does not occur brings about that the wiriness happens and the invitationalness happens. sent2: if either the lastingness occurs or the wiriness occurs or both then the fact that the allergenicness does not occur is right. sent3: the packing happens but the radiolucentness does not occur. sent4: if the backgammon or the hibernation or both occurs then the packing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hibernation occurs.; assump1 -> int1: the backgammon occurs and/or the hibernation occurs.; int1 & sent4 -> int2: the packing does not occur.; sent3 -> int3: the pack occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hibernation does not occur.; int5 & sent1 -> int6: the wiriness occurs and the invitationalness occurs.; int6 -> int7: the wiriness happens.; int7 -> int8: the lasting and/or the wiriness occurs.; int8 & sent2 -> hypothesis; __PROVED__