the facialness does not occur.
sent1: if the bridling does not occur that the facial and the statuary happens is incorrect. sent2: the facialness does not occur if that the fact that both the facialness and the statuary occurs hold is not right. sent3: the statuariness does not occur if that the rearing biochemistry does not occur and the fusion does not occur hold. sent4: that the exit happens prevents the non-facialness. sent5: the provision does not occur if the imperviousness occurs. sent6: the exiting does not occur if the fact that the extortion does not occur and/or the weaving craniology does not occur is wrong. sent7: the remembering does not occur. sent8: the fact that either the extortion does not occur or the weaving craniology does not occur or both is not right if the butting mere does not occur. sent9: the bridle occurs. sent10: if the provision does not occur then the minuscule happens and/or the jumper does not occur. sent11: the exiting happens if that the rearing biochemistry does not occur and the fusion does not occur does not hold. sent12: that if the statuariness does not occur then the fact that the bridle but not the remembering happens is false is not incorrect.
void -> assump1: Let's assume that the rearing biochemistry does not occur and the fusion does not occur.; sent3 & assump1 -> int1: the statuariness does not occur.; int1 & sent12 -> int2: the fact that the bridling but not the remembering happens is false.; sent9 & sent7 -> int3: the bridling occurs and the remembering does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the rearing biochemistry does not occur and the fusion does not occur is not right.; int5 & sent11 -> int6: the exit happens.; int6 & sent4 -> hypothesis;
the facial does not occur.
$hypothesis$ = the facialness does not occur. ; $context$ = sent1: if the bridling does not occur that the facial and the statuary happens is incorrect. sent2: the facialness does not occur if that the fact that both the facialness and the statuary occurs hold is not right. sent3: the statuariness does not occur if that the rearing biochemistry does not occur and the fusion does not occur hold. sent4: that the exit happens prevents the non-facialness. sent5: the provision does not occur if the imperviousness occurs. sent6: the exiting does not occur if the fact that the extortion does not occur and/or the weaving craniology does not occur is wrong. sent7: the remembering does not occur. sent8: the fact that either the extortion does not occur or the weaving craniology does not occur or both is not right if the butting mere does not occur. sent9: the bridle occurs. sent10: if the provision does not occur then the minuscule happens and/or the jumper does not occur. sent11: the exiting happens if that the rearing biochemistry does not occur and the fusion does not occur does not hold. sent12: that if the statuariness does not occur then the fact that the bridle but not the remembering happens is false is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the rearing biochemistry does not occur and the fusion does not occur.; sent3 & assump1 -> int1: the statuariness does not occur.; int1 & sent12 -> int2: the fact that the bridling but not the remembering happens is false.; sent9 & sent7 -> int3: the bridling occurs and the remembering does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the rearing biochemistry does not occur and the fusion does not occur is not right.; int5 & sent11 -> int6: the exit happens.; int6 & sent4 -> hypothesis; __DISPROVED__