the fact that both the fungalness and the perfecting happens is false if the inhabiting does not occur.
sent1: if the untranslatableness occurs then the stratus does not occur. sent2: that the stratus does not occur and/or the orchotomy leads to that the aiming does not occur. sent3: that the stratus does not occur is triggered by that the untranslatableness occurs and/or the spirometry does not occur. sent4: the fact that the fungalness occurs and the perfecting happens does not hold if the aim does not occur. sent5: the untranslatableness happens or the spirometry does not occur or both if the inhabiting does not occur. sent6: either that the untranslatableness occurs or that the spirometry does not occur or both is caused by the inhabiting. sent7: if the orchotomy does not occur then the inhabiting happens and/or the stratus happens.
void -> assump1: Let's assume that the inhabiting does not occur.; sent5 & assump1 -> int1: either the untranslatableness happens or the spirometry does not occur or both.; int1 & sent3 -> int2: the stratus does not occur.; int2 -> int3: the stratus does not occur and/or the orchotomy happens.; int3 & sent2 -> int4: the aim does not occur.; int4 & sent4 -> int5: the fact that both the fungalness and the perfecting occurs is not correct.; [assump1] & int5 -> hypothesis;
the consumptiveness does not occur.
$hypothesis$ = the fact that both the fungalness and the perfecting happens is false if the inhabiting does not occur. ; $context$ = sent1: if the untranslatableness occurs then the stratus does not occur. sent2: that the stratus does not occur and/or the orchotomy leads to that the aiming does not occur. sent3: that the stratus does not occur is triggered by that the untranslatableness occurs and/or the spirometry does not occur. sent4: the fact that the fungalness occurs and the perfecting happens does not hold if the aim does not occur. sent5: the untranslatableness happens or the spirometry does not occur or both if the inhabiting does not occur. sent6: either that the untranslatableness occurs or that the spirometry does not occur or both is caused by the inhabiting. sent7: if the orchotomy does not occur then the inhabiting happens and/or the stratus happens. ; $proof$ = 
void -> assump1: Let's assume that the inhabiting does not occur.; sent5 & assump1 -> int1: either the untranslatableness happens or the spirometry does not occur or both.; int1 & sent3 -> int2: the stratus does not occur.; int2 -> int3: the stratus does not occur and/or the orchotomy happens.; int3 & sent2 -> int4: the aim does not occur.; int4 & sent4 -> int5: the fact that both the fungalness and the perfecting occurs is not correct.; [assump1] & int5 -> hypothesis; __PROVED__