the reinforcing Mastigoproctus happens.
sent1: the cribbage occurs if the axiomaticness occurs. sent2: that if the auspiciousness does not occur that the atheistness happens but the infection does not occur is not right is not wrong. sent3: the fact that the infection does not occur and the monumentalness does not occur is wrong if the electromechanicalness does not occur. sent4: the transshipment and the birdnesting happens. sent5: if the comforting liability does not occur the fact that the souther and the nonwashableness happens is not correct. sent6: the reinforcing Mastigoproctus does not occur if that the birdnesting occurs and the transshipment occurs is not correct. sent7: the transshipment and/or the non-irreplaceableness happens if the birdnesting does not occur. sent8: that either the transshipment occurs or the irreplaceableness does not occur or both triggers that the transshipment happens. sent9: the non-changelessness and/or that the reinforcing oligosaccharide does not occur is brought about by the transshipment. sent10: either the residency does not occur or the spartanness does not occur or both. sent11: the comforting leatherback happens. sent12: that the reinforcing Mastigoproctus does not occur is prevented by that the non-monumentalness and/or the non-electromechanicalness occurs. sent13: the irreplaceableness occurs if the birdnesting happens. sent14: that that the infection does not occur is not incorrect if both the irreplaceableness and the monumentalness occurs is not false. sent15: if that the atheist occurs but the infection does not occur is wrong then the fact that the infection happens hold.
sent4 -> int1: the birdnesting occurs.; int1 & sent13 -> int2: the irreplaceableness occurs.; void -> assump1: Let's assume that the monumentalness happens.; int2 & assump1 -> int3: the irreplaceableness occurs and the monumentalness happens.; int3 & sent14 -> int4: the fact that the infection happens is incorrect.;
that the reinforcing Mastigoproctus does not occur is not wrong.
$hypothesis$ = the reinforcing Mastigoproctus happens. ; $context$ = sent1: the cribbage occurs if the axiomaticness occurs. sent2: that if the auspiciousness does not occur that the atheistness happens but the infection does not occur is not right is not wrong. sent3: the fact that the infection does not occur and the monumentalness does not occur is wrong if the electromechanicalness does not occur. sent4: the transshipment and the birdnesting happens. sent5: if the comforting liability does not occur the fact that the souther and the nonwashableness happens is not correct. sent6: the reinforcing Mastigoproctus does not occur if that the birdnesting occurs and the transshipment occurs is not correct. sent7: the transshipment and/or the non-irreplaceableness happens if the birdnesting does not occur. sent8: that either the transshipment occurs or the irreplaceableness does not occur or both triggers that the transshipment happens. sent9: the non-changelessness and/or that the reinforcing oligosaccharide does not occur is brought about by the transshipment. sent10: either the residency does not occur or the spartanness does not occur or both. sent11: the comforting leatherback happens. sent12: that the reinforcing Mastigoproctus does not occur is prevented by that the non-monumentalness and/or the non-electromechanicalness occurs. sent13: the irreplaceableness occurs if the birdnesting happens. sent14: that that the infection does not occur is not incorrect if both the irreplaceableness and the monumentalness occurs is not false. sent15: if that the atheist occurs but the infection does not occur is wrong then the fact that the infection happens hold. ; $proof$ = 
sent4 -> int1: the birdnesting occurs.; int1 & sent13 -> int2: the irreplaceableness occurs.; void -> assump1: Let's assume that the monumentalness happens.; int2 & assump1 -> int3: the irreplaceableness occurs and the monumentalness happens.; int3 & sent14 -> int4: the fact that the infection happens is incorrect.; __UNKNOWN__