the gnosticness occurs.
sent1: the lining occurs. sent2: the servicing tusked occurs. sent3: if the propagation does not occur the servicing tusked happens. sent4: if the lining does not occur that that the refacing avarice and the gnosticness occurs is true is not correct. sent5: that the fact that the servicing tusked does not occur and the autobiographicalness does not occur is wrong is true if the propagation happens. sent6: the shingling is prevented by that the depiction happens and the cession happens. sent7: that the lining occurs and the gnosticness occurs prevents that the autobiographicalness occurs. sent8: if that the refacing avarice happens and the gnosticness happens is not true the refacing avarice does not occur. sent9: the propagation does not occur. sent10: if the propagation does not occur then both the autobiographicalness and the servicing tusked happens. sent11: the refacing olive and the propagation happens if the Orphicness does not occur.
void -> assump1: Let's assume that the gnosticness occurs.; sent1 & assump1 -> int1: both the lining and the gnosticness happens.; int1 & sent7 -> int2: the autobiographicalness does not occur.; sent10 & sent9 -> int3: the autobiographicalness occurs and the servicing tusked occurs.; int3 -> int4: the autobiographicalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the refacing avarice does not occur.
$hypothesis$ = the gnosticness occurs. ; $context$ = sent1: the lining occurs. sent2: the servicing tusked occurs. sent3: if the propagation does not occur the servicing tusked happens. sent4: if the lining does not occur that that the refacing avarice and the gnosticness occurs is true is not correct. sent5: that the fact that the servicing tusked does not occur and the autobiographicalness does not occur is wrong is true if the propagation happens. sent6: the shingling is prevented by that the depiction happens and the cession happens. sent7: that the lining occurs and the gnosticness occurs prevents that the autobiographicalness occurs. sent8: if that the refacing avarice happens and the gnosticness happens is not true the refacing avarice does not occur. sent9: the propagation does not occur. sent10: if the propagation does not occur then both the autobiographicalness and the servicing tusked happens. sent11: the refacing olive and the propagation happens if the Orphicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the gnosticness occurs.; sent1 & assump1 -> int1: both the lining and the gnosticness happens.; int1 & sent7 -> int2: the autobiographicalness does not occur.; sent10 & sent9 -> int3: the autobiographicalness occurs and the servicing tusked occurs.; int3 -> int4: the autobiographicalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__