if the bob occurs the fact that the alienableness does not occur or the unpopularness does not occur or both is false.
sent1: if the mid-off occurs the fact that either the souse does not occur or the diachronicness does not occur or both is not true. sent2: the ritual happens and the flowing occurs. sent3: either the unbreakableness occurs or the socialization happens or both. sent4: that the unbreakableness occurs yields the chinook. sent5: that the socialization happens prevents that the chinook does not occur. sent6: the inalienableness or the popularness or both occurs. sent7: the fact that that the alienableness does not occur and/or the unpopularness does not occur is correct is wrong if the Venezuelanness does not occur. sent8: either the hermeneuticsness occurs or the bus occurs or both. sent9: the fact that the Venezuelanness does not occur is correct if the bobbing occurs and the chinook happens. sent10: the fact that either the inalienableness or the unpopularness or both occurs is not true if the bobbing occurs.
void -> assump1: Let's assume that the bobbing happens.; sent3 & sent4 & sent5 -> int1: that the chinook occurs hold.; assump1 & int1 -> int2: the bobbing and the chinook happens.; sent9 & int2 -> int3: that the Venezuelanness does not occur hold.; sent7 & int3 -> int4: the fact that the non-alienableness and/or the popularness happens is false.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the bob occurs the fact that the alienableness does not occur or the unpopularness does not occur or both is false. ; $context$ = sent1: if the mid-off occurs the fact that either the souse does not occur or the diachronicness does not occur or both is not true. sent2: the ritual happens and the flowing occurs. sent3: either the unbreakableness occurs or the socialization happens or both. sent4: that the unbreakableness occurs yields the chinook. sent5: that the socialization happens prevents that the chinook does not occur. sent6: the inalienableness or the popularness or both occurs. sent7: the fact that that the alienableness does not occur and/or the unpopularness does not occur is correct is wrong if the Venezuelanness does not occur. sent8: either the hermeneuticsness occurs or the bus occurs or both. sent9: the fact that the Venezuelanness does not occur is correct if the bobbing occurs and the chinook happens. sent10: the fact that either the inalienableness or the unpopularness or both occurs is not true if the bobbing occurs. ; $proof$ = 
void -> assump1: Let's assume that the bobbing happens.; sent3 & sent4 & sent5 -> int1: that the chinook occurs hold.; assump1 & int1 -> int2: the bobbing and the chinook happens.; sent9 & int2 -> int3: that the Venezuelanness does not occur hold.; sent7 & int3 -> int4: the fact that the non-alienableness and/or the popularness happens is false.; [assump1] & int4 -> hypothesis; __PROVED__