the entrapment results in that the non-sociobiologicness and the non-mealiness happens.
sent1: the remission does not occur. sent2: that the nimbus does not occur is prevented by that the crossover happens but the amnioticness does not occur. sent3: the mealiness does not occur if the fact that either the remission or the pyrographicness or both occurs is not correct. sent4: the astringing occurs. sent5: the capitalisticness occurs but the tingeing paintbox does not occur. sent6: if the entrapment does not occur or the tingeing peer happens or both then the tingeing peer happens. sent7: the sociobiologicness does not occur if both the nimbus and the entrapment happens. sent8: the fact that the remission and/or the pyrographicness happens is wrong. sent9: the crossover and the non-amnioticness occurs.
sent2 & sent9 -> int1: the nimbus happens.; void -> assump1: Let's assume that the entrapment happens.; int1 & assump1 -> int2: both the nimbus and the entrapment occurs.; int2 & sent7 -> int3: the sociobiologicness does not occur.; sent3 & sent8 -> int4: the mealiness does not occur.; int3 & int4 -> int5: the sociobiologicness does not occur and the mealiness does not occur.; [assump1] & int5 -> hypothesis;
both the aggravation and the tingeing peer happens.
$hypothesis$ = the entrapment results in that the non-sociobiologicness and the non-mealiness happens. ; $context$ = sent1: the remission does not occur. sent2: that the nimbus does not occur is prevented by that the crossover happens but the amnioticness does not occur. sent3: the mealiness does not occur if the fact that either the remission or the pyrographicness or both occurs is not correct. sent4: the astringing occurs. sent5: the capitalisticness occurs but the tingeing paintbox does not occur. sent6: if the entrapment does not occur or the tingeing peer happens or both then the tingeing peer happens. sent7: the sociobiologicness does not occur if both the nimbus and the entrapment happens. sent8: the fact that the remission and/or the pyrographicness happens is wrong. sent9: the crossover and the non-amnioticness occurs. ; $proof$ = 
sent2 & sent9 -> int1: the nimbus happens.; void -> assump1: Let's assume that the entrapment happens.; int1 & assump1 -> int2: both the nimbus and the entrapment occurs.; int2 & sent7 -> int3: the sociobiologicness does not occur.; sent3 & sent8 -> int4: the mealiness does not occur.; int3 & int4 -> int5: the sociobiologicness does not occur and the mealiness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__