the non-shrubbyness and the non-equestrianness happens.
sent1: the perishable happens if the freshet happens. sent2: that not the framing but the perishable occurs is wrong if the serialization happens. sent3: that the commissioning does not occur and the inwardness does not occur leads to the besetting. sent4: if the numeration does not occur the non-shrubbiness and the non-equestrianness happens. sent5: that the serialization occurs is not incorrect. sent6: that the telemark occurs prevents that the perishable does not occur. sent7: both the commissioning and the inwardness occurs. sent8: the fact that not the numeration but the framing occurs is not right if the perishableness does not occur. sent9: the framing is prevented by that the inwardness and the numeration occurs. sent10: either the telemark happens or the freshet happens or both.
sent7 -> int1: the inwardness occurs.; void -> assump1: Let's assume that the fact that the numeration occurs is not wrong.; int1 & assump1 -> int2: both the inwardness and the numeration occurs.; int2 & sent9 -> int3: the framing does not occur.; sent10 & sent6 & sent1 -> int4: the perishable happens.; int3 & int4 -> int5: the framing does not occur and the perishableness happens.; sent2 & sent5 -> int6: the fact that the framing does not occur but the perishableness occurs is incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the numeration does not occur.; int8 & sent4 -> hypothesis;
the besetting happens.
$hypothesis$ = the non-shrubbyness and the non-equestrianness happens. ; $context$ = sent1: the perishable happens if the freshet happens. sent2: that not the framing but the perishable occurs is wrong if the serialization happens. sent3: that the commissioning does not occur and the inwardness does not occur leads to the besetting. sent4: if the numeration does not occur the non-shrubbiness and the non-equestrianness happens. sent5: that the serialization occurs is not incorrect. sent6: that the telemark occurs prevents that the perishable does not occur. sent7: both the commissioning and the inwardness occurs. sent8: the fact that not the numeration but the framing occurs is not right if the perishableness does not occur. sent9: the framing is prevented by that the inwardness and the numeration occurs. sent10: either the telemark happens or the freshet happens or both. ; $proof$ = 
sent7 -> int1: the inwardness occurs.; void -> assump1: Let's assume that the fact that the numeration occurs is not wrong.; int1 & assump1 -> int2: both the inwardness and the numeration occurs.; int2 & sent9 -> int3: the framing does not occur.; sent10 & sent6 & sent1 -> int4: the perishable happens.; int3 & int4 -> int5: the framing does not occur and the perishableness happens.; sent2 & sent5 -> int6: the fact that the framing does not occur but the perishableness occurs is incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the numeration does not occur.; int8 & sent4 -> hypothesis; __PROVED__