the patterning shim happens and the patterning Tammuz does not occur if the bicycling put does not occur.
sent1: if the habiting occurs then the shave happens. sent2: the fact that the smoothing does not occur and the noncombinativeness happens is incorrect if the patterning Tammuz occurs. sent3: the bicycling put occurs if the fact that the smooth does not occur but the noncombinativeness occurs is false. sent4: the singling mastoidale happens. sent5: the bicycling put happens if the noncombinativeness does not occur. sent6: the fact that the bars and the infernal occurs is wrong. sent7: the singling mastoidale happens and the patterning shim happens. sent8: that not the envy but the unmodifiableness occurs is not correct if the leptosporangiateness happens. sent9: the overstrain happens. sent10: the fact that the shorts does not occur is true. sent11: that not the intervertebralness but the supervisoriness happens is incorrect. sent12: the singling emeritus does not occur. sent13: the autotrophicness happens and the stroking Dietrich occurs.
void -> assump2: Let's assume that the patterning Tammuz occurs.; sent2 & assump2 -> int1: the fact that both the non-smoothness and the noncombinativeness happens is wrong.; int1 & sent3 -> int2: the bicycling put happens.; void -> assump1: Let's assume that the bicycling put does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the patterning Tammuz does not occur.; sent7 -> int5: the patterning shim occurs.; int4 & int5 -> int6: the patterning shim but not the patterning Tammuz happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the patterning shim happens and the patterning Tammuz does not occur if the bicycling put does not occur. ; $context$ = sent1: if the habiting occurs then the shave happens. sent2: the fact that the smoothing does not occur and the noncombinativeness happens is incorrect if the patterning Tammuz occurs. sent3: the bicycling put occurs if the fact that the smooth does not occur but the noncombinativeness occurs is false. sent4: the singling mastoidale happens. sent5: the bicycling put happens if the noncombinativeness does not occur. sent6: the fact that the bars and the infernal occurs is wrong. sent7: the singling mastoidale happens and the patterning shim happens. sent8: that not the envy but the unmodifiableness occurs is not correct if the leptosporangiateness happens. sent9: the overstrain happens. sent10: the fact that the shorts does not occur is true. sent11: that not the intervertebralness but the supervisoriness happens is incorrect. sent12: the singling emeritus does not occur. sent13: the autotrophicness happens and the stroking Dietrich occurs. ; $proof$ = 
void -> assump2: Let's assume that the patterning Tammuz occurs.; sent2 & assump2 -> int1: the fact that both the non-smoothness and the noncombinativeness happens is wrong.; int1 & sent3 -> int2: the bicycling put happens.; void -> assump1: Let's assume that the bicycling put does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the patterning Tammuz does not occur.; sent7 -> int5: the patterning shim occurs.; int4 & int5 -> int6: the patterning shim but not the patterning Tammuz happens.; [assump1] & int6 -> hypothesis; __PROVED__