the fact that the bronchialness and/or the non-metamorphicness occurs is incorrect if the typification happens.
sent1: if both the typification and the severalizing Wobbly happens then the azotemicness does not occur. sent2: that the severalizing Wobbly occurs is brought about by that the piquing does not occur. sent3: that the instillation does not occur but the piquing happens is false. sent4: if the indelicateness occurs the apocrineness happens. sent5: the nonmetamorphicness is prevented by the typification. sent6: if the azotemicness does not occur that the bronchialness and/or the nonmetamorphicness happens is not correct. sent7: if the caveat does not occur that the communications does not occur is correct. sent8: the sweating does not occur if that the manoeuvering occurs hold. sent9: that the insularness happens is not incorrect. sent10: the grumbling Aztec occurs. sent11: if that the fact that not the instillation but the pique occurs is not right is correct the severalizing Wobbly happens.
void -> assump1: Let's assume that the fact that the typification happens hold.; sent11 & sent3 -> int1: the severalizing Wobbly occurs.; assump1 & int1 -> int2: the typification happens and the severalizing Wobbly occurs.; sent1 & int2 -> int3: the azotemicness does not occur.; sent6 & int3 -> int4: the fact that that the bronchialness happens and/or the metamorphicness does not occur is not incorrect is not right.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the bronchialness and/or the non-metamorphicness occurs is incorrect if the typification happens. ; $context$ = sent1: if both the typification and the severalizing Wobbly happens then the azotemicness does not occur. sent2: that the severalizing Wobbly occurs is brought about by that the piquing does not occur. sent3: that the instillation does not occur but the piquing happens is false. sent4: if the indelicateness occurs the apocrineness happens. sent5: the nonmetamorphicness is prevented by the typification. sent6: if the azotemicness does not occur that the bronchialness and/or the nonmetamorphicness happens is not correct. sent7: if the caveat does not occur that the communications does not occur is correct. sent8: the sweating does not occur if that the manoeuvering occurs hold. sent9: that the insularness happens is not incorrect. sent10: the grumbling Aztec occurs. sent11: if that the fact that not the instillation but the pique occurs is not right is correct the severalizing Wobbly happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the typification happens hold.; sent11 & sent3 -> int1: the severalizing Wobbly occurs.; assump1 & int1 -> int2: the typification happens and the severalizing Wobbly occurs.; sent1 & int2 -> int3: the azotemicness does not occur.; sent6 & int3 -> int4: the fact that that the bronchialness happens and/or the metamorphicness does not occur is not incorrect is not right.; [assump1] & int4 -> hypothesis; __PROVED__