not the whiffing acarid but the peregrination happens if the designing Coluber happens.
sent1: the striping occurs. sent2: that the congressionalness does not occur brings about that the maximalness does not occur. sent3: the wise occurs and the peregrination occurs. sent4: if the alikeness does not occur then the slalom does not occur. sent5: the benefaction is prevented by that the designing Coluber happens and the congressionalness occurs. sent6: if either the orchidectomy happens or the designing Coluber does not occur or both the orchidectomy happens. sent7: the monetizing trample happens. sent8: the stemmer happens. sent9: if the stemmer happens then the fact that the benefaction happens hold. sent10: that the acousticsness does not occur is not false. sent11: if the acousticsness does not occur that the stemmer does not occur and the wiseness does not occur does not hold. sent12: the meshing clarion does not occur. sent13: the non-maximalness prevents the whiffing acarid.
void -> assump2: Let's assume that the designing Coluber happens.; void -> assump1: Let's assume that the congressionalness happens.; assump2 & assump1 -> int1: both the designing Coluber and the congressionalness happens.; int1 & sent5 -> int2: the benefaction does not occur.; sent9 & sent8 -> int3: the benefaction happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the congressionalness does not occur.; int5 & sent2 -> int6: the maximalness does not occur.; int6 & sent13 -> int7: the whiffing acarid does not occur.; sent3 -> int8: the peregrination happens.; int7 & int8 -> int9: the whiffing acarid does not occur but the peregrination happens.; [assump2] & int9 -> hypothesis;
the orchidectomy occurs.
sent11 & sent10 -> int10: the fact that the stemmer does not occur and the wiseness does not occur is not right.;
$hypothesis$ = not the whiffing acarid but the peregrination happens if the designing Coluber happens. ; $context$ = sent1: the striping occurs. sent2: that the congressionalness does not occur brings about that the maximalness does not occur. sent3: the wise occurs and the peregrination occurs. sent4: if the alikeness does not occur then the slalom does not occur. sent5: the benefaction is prevented by that the designing Coluber happens and the congressionalness occurs. sent6: if either the orchidectomy happens or the designing Coluber does not occur or both the orchidectomy happens. sent7: the monetizing trample happens. sent8: the stemmer happens. sent9: if the stemmer happens then the fact that the benefaction happens hold. sent10: that the acousticsness does not occur is not false. sent11: if the acousticsness does not occur that the stemmer does not occur and the wiseness does not occur does not hold. sent12: the meshing clarion does not occur. sent13: the non-maximalness prevents the whiffing acarid. ; $proof$ = 
void -> assump2: Let's assume that the designing Coluber happens.; void -> assump1: Let's assume that the congressionalness happens.; assump2 & assump1 -> int1: both the designing Coluber and the congressionalness happens.; int1 & sent5 -> int2: the benefaction does not occur.; sent9 & sent8 -> int3: the benefaction happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the congressionalness does not occur.; int5 & sent2 -> int6: the maximalness does not occur.; int6 & sent13 -> int7: the whiffing acarid does not occur.; sent3 -> int8: the peregrination happens.; int7 & int8 -> int9: the whiffing acarid does not occur but the peregrination happens.; [assump2] & int9 -> hypothesis; __PROVED__