the subsection is not a kind of a Martian.
sent1: the fact that if something is not budgetary that that it is not non-Martian but non-Confucian is correct does not hold hold. sent2: if there is something such that it does not nag scrubland then the prophet is a Confucian and it is budgetary. sent3: there exists something such that it does not nag scrubland. sent4: the prophet is not a Confucian if that the fact that the delayer does not tarnish dichotomization and it is unworthy is right is not correct. sent5: if the subsection is not Martian the fact that the delayer does not tarnish dichotomization and it is not a worthy is false. sent6: if the delayer does not nag scrubland it is not budgetary. sent7: the prophet is not a worthy if the fact that the delayer is budgetary is not incorrect.
void -> assump1: Let's assume that the subsection is not a Martian.; sent5 & assump1 -> int1: the fact that the delayer does not tarnish dichotomization and is not worthy is incorrect.; int1 & sent4 -> int2: the prophet is not a Confucian.; sent3 & sent2 -> int3: the prophet is a kind of Confucian thing that is budgetary.; int3 -> int4: that the prophet is Confucian is correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the subsection is not a Martian.
sent1 -> int6: if the delayer is not budgetary then that it is a kind of Martian thing that is not a Confucian is not right.;
$hypothesis$ = the subsection is not a kind of a Martian. ; $context$ = sent1: the fact that if something is not budgetary that that it is not non-Martian but non-Confucian is correct does not hold hold. sent2: if there is something such that it does not nag scrubland then the prophet is a Confucian and it is budgetary. sent3: there exists something such that it does not nag scrubland. sent4: the prophet is not a Confucian if that the fact that the delayer does not tarnish dichotomization and it is unworthy is right is not correct. sent5: if the subsection is not Martian the fact that the delayer does not tarnish dichotomization and it is not a worthy is false. sent6: if the delayer does not nag scrubland it is not budgetary. sent7: the prophet is not a worthy if the fact that the delayer is budgetary is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the subsection is not a Martian.; sent5 & assump1 -> int1: the fact that the delayer does not tarnish dichotomization and is not worthy is incorrect.; int1 & sent4 -> int2: the prophet is not a Confucian.; sent3 & sent2 -> int3: the prophet is a kind of Confucian thing that is budgetary.; int3 -> int4: that the prophet is Confucian is correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__