both the non-affineness and the nutritionalness happens if the unpresidentialness occurs.
sent1: the bibliothecalness does not occur. sent2: that the eliminating traitress and the non-bibliothecalness occurs leads to that the nutritionalness happens. sent3: the affineness does not occur if the unpresidentialness occurs and the shrinkableness happens. sent4: if the bibliothecalness does not occur the fact that both the affineness and the non-nutritionalness occurs is not true. sent5: both the hypnotizing WMD and the shrinkableness occurs. sent6: that the matrimony occurs results in that the eliminating traitress but not the bibliothecalness happens. sent7: that the nutritionalness does not occur is prevented by that the eliminating traitress occurs and the bibliothecalness happens. sent8: if that the hypnotizing WMD and the non-shrinkableness happens does not hold the starlessness does not occur. sent9: the matrimony occurs. sent10: that the hypnotizing WMD occurs but the shrinkableness does not occur does not hold if that the unpresidentialness does not occur hold.
sent5 -> int1: the shrinkableness occurs.; void -> assump1: Let's assume that the unpresidentialness happens.; int1 & assump1 -> int2: the unpresidentialness and the shrinkableness happens.; int2 & sent3 -> int3: the affineness does not occur.; sent6 & sent9 -> int4: the eliminating traitress but not the bibliothecalness occurs.; sent2 & int4 -> int5: the nutritionalness happens.; int3 & int5 -> int6: the affineness does not occur but the nutritionalness occurs.; [assump1] & int6 -> hypothesis;
the starlessness does not occur.
$hypothesis$ = both the non-affineness and the nutritionalness happens if the unpresidentialness occurs. ; $context$ = sent1: the bibliothecalness does not occur. sent2: that the eliminating traitress and the non-bibliothecalness occurs leads to that the nutritionalness happens. sent3: the affineness does not occur if the unpresidentialness occurs and the shrinkableness happens. sent4: if the bibliothecalness does not occur the fact that both the affineness and the non-nutritionalness occurs is not true. sent5: both the hypnotizing WMD and the shrinkableness occurs. sent6: that the matrimony occurs results in that the eliminating traitress but not the bibliothecalness happens. sent7: that the nutritionalness does not occur is prevented by that the eliminating traitress occurs and the bibliothecalness happens. sent8: if that the hypnotizing WMD and the non-shrinkableness happens does not hold the starlessness does not occur. sent9: the matrimony occurs. sent10: that the hypnotizing WMD occurs but the shrinkableness does not occur does not hold if that the unpresidentialness does not occur hold. ; $proof$ = 
sent5 -> int1: the shrinkableness occurs.; void -> assump1: Let's assume that the unpresidentialness happens.; int1 & assump1 -> int2: the unpresidentialness and the shrinkableness happens.; int2 & sent3 -> int3: the affineness does not occur.; sent6 & sent9 -> int4: the eliminating traitress but not the bibliothecalness occurs.; sent2 & int4 -> int5: the nutritionalness happens.; int3 & int5 -> int6: the affineness does not occur but the nutritionalness occurs.; [assump1] & int6 -> hypothesis; __PROVED__