the fact that if the reciprocal occurs then the industry happens is false.
sent1: the fact that the bowling microbiologist occurs is not incorrect if that both the air-to-airness and the non-reciprocalness occurs does not hold. sent2: the industry occurs if either the propping aculeus does not occur or the freeze occurs or both. sent3: if the bowling microbiologist happens then the freezing happens.
void -> assump1: Let's assume that the reciprocalness happens.; void -> assump2: Let's assume that both the air-to-airness and the nonreciprocalness happens.; assump2 -> int1: the reciprocalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the air-to-airness happens but the reciprocalness does not occur is wrong.; sent1 & int3 -> int4: the bowling microbiologist happens.; sent3 & int4 -> int5: the freeze occurs.; int5 -> int6: either the propping aculeus does not occur or the freezing occurs or both.; sent2 & int6 -> int7: the industry happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that if the reciprocal occurs then the industry happens is false. ; $context$ = sent1: the fact that the bowling microbiologist occurs is not incorrect if that both the air-to-airness and the non-reciprocalness occurs does not hold. sent2: the industry occurs if either the propping aculeus does not occur or the freeze occurs or both. sent3: if the bowling microbiologist happens then the freezing happens. ; $proof$ = 
void -> assump1: Let's assume that the reciprocalness happens.; void -> assump2: Let's assume that both the air-to-airness and the nonreciprocalness happens.; assump2 -> int1: the reciprocalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the air-to-airness happens but the reciprocalness does not occur is wrong.; sent1 & int3 -> int4: the bowling microbiologist happens.; sent3 & int4 -> int5: the freeze occurs.; int5 -> int6: either the propping aculeus does not occur or the freezing occurs or both.; sent2 & int6 -> int7: the industry happens.; [assump1] & int7 -> hypothesis; __DISPROVED__