the consternating certiorari happens.
sent1: that the disentangling Forester does not occur but the piggyback happens results in the consternating certiorari. sent2: either that the consternating coatrack does not occur or the .38-caliberness or both prevents the non-Welshness. sent3: if the arson happens the Welshness does not occur and the rotogravure does not occur. sent4: the arson happens. sent5: that the consternating coatrack does not occur or the .38-caliberness or both is triggered by that the range does not occur. sent6: the bubalineness happens or the orgy happens or both. sent7: the pelting does not occur. sent8: that the disentangling Forester does not occur and the piggybacking happens is brought about by that the ranging happens. sent9: the solution happens. sent10: the fact that the consternating certiorari does not occur hold if that the non-Welshness and the range occurs is not true. sent11: if both the disentangling Forester and the piggybacking occurs the consternating certiorari occurs. sent12: if the consternating Dermestidae does not occur and/or the range does not occur then the consternating Dermestidae does not occur.
void -> assump1: Let's assume that the range does not occur.; sent5 & assump1 -> int1: the consternating coatrack does not occur and/or the .38-caliberness occurs.; int1 & sent2 -> int2: the Welshness happens.; sent3 & sent4 -> int3: the Welshness does not occur and the rotogravure does not occur.; int3 -> int4: the Welsh does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ranging happens.; int6 & sent8 -> int7: not the disentangling Forester but the piggybacking happens.; int7 & sent1 -> hypothesis;
the consternating certiorari does not occur.
$hypothesis$ = the consternating certiorari happens. ; $context$ = sent1: that the disentangling Forester does not occur but the piggyback happens results in the consternating certiorari. sent2: either that the consternating coatrack does not occur or the .38-caliberness or both prevents the non-Welshness. sent3: if the arson happens the Welshness does not occur and the rotogravure does not occur. sent4: the arson happens. sent5: that the consternating coatrack does not occur or the .38-caliberness or both is triggered by that the range does not occur. sent6: the bubalineness happens or the orgy happens or both. sent7: the pelting does not occur. sent8: that the disentangling Forester does not occur and the piggybacking happens is brought about by that the ranging happens. sent9: the solution happens. sent10: the fact that the consternating certiorari does not occur hold if that the non-Welshness and the range occurs is not true. sent11: if both the disentangling Forester and the piggybacking occurs the consternating certiorari occurs. sent12: if the consternating Dermestidae does not occur and/or the range does not occur then the consternating Dermestidae does not occur. ; $proof$ = 
void -> assump1: Let's assume that the range does not occur.; sent5 & assump1 -> int1: the consternating coatrack does not occur and/or the .38-caliberness occurs.; int1 & sent2 -> int2: the Welshness happens.; sent3 & sent4 -> int3: the Welshness does not occur and the rotogravure does not occur.; int3 -> int4: the Welsh does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ranging happens.; int6 & sent8 -> int7: not the disentangling Forester but the piggybacking happens.; int7 & sent1 -> hypothesis; __PROVED__