the explosive is a shorts.
sent1: that the aerosol is a bigeye but it is not a kind of a dying does not hold if it is not a kind of a peak. sent2: if the buckthorn does not photocopy it either is a Spirodela or harangues spume or both. sent3: if the aerosol is a bigeye then that the buckthorn is not a grade is correct. sent4: the buckthorn does not photocopy. sent5: if the aerosol is not a peak the fact that it is not a kind of a bigeye and it does not die does not hold. sent6: if something is a Spirodela then it is a kind of a grade. sent7: something grades if it does harangue spume. sent8: the fact that the explosive is a kind of a shorts is not wrong if the aerosol does peak. sent9: the fact that the aerosol is a bigeye but not a dying is false. sent10: the explosive is not a shorts if the aerosol is not a shorts. sent11: the buckthorn is not a grade if the fact that the aerosol is both not a bigeye and not a dying does not hold.
void -> assump1: Let's assume that the fact that the aerosol is not a peak is right.; sent5 & assump1 -> int1: the fact that the fact that the aerosol is not a bigeye and not a dying is not incorrect is incorrect.; int1 & sent11 -> int2: the buckthorn is not a grade.; sent2 & sent4 -> int3: the buckthorn is a Spirodela and/or it harangues spume.; sent6 -> int4: the buckthorn is a grade if it is a Spirodela.; sent7 -> int5: if the buckthorn does harangue spume it is a grade.; int3 & int4 & int5 -> int6: the buckthorn is a grade.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the aerosol is a peak.; int8 & sent8 -> hypothesis;
the fact that the explosive is not a kind of a shorts is not false.
$hypothesis$ = the explosive is a shorts. ; $context$ = sent1: that the aerosol is a bigeye but it is not a kind of a dying does not hold if it is not a kind of a peak. sent2: if the buckthorn does not photocopy it either is a Spirodela or harangues spume or both. sent3: if the aerosol is a bigeye then that the buckthorn is not a grade is correct. sent4: the buckthorn does not photocopy. sent5: if the aerosol is not a peak the fact that it is not a kind of a bigeye and it does not die does not hold. sent6: if something is a Spirodela then it is a kind of a grade. sent7: something grades if it does harangue spume. sent8: the fact that the explosive is a kind of a shorts is not wrong if the aerosol does peak. sent9: the fact that the aerosol is a bigeye but not a dying is false. sent10: the explosive is not a shorts if the aerosol is not a shorts. sent11: the buckthorn is not a grade if the fact that the aerosol is both not a bigeye and not a dying does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aerosol is not a peak is right.; sent5 & assump1 -> int1: the fact that the fact that the aerosol is not a bigeye and not a dying is not incorrect is incorrect.; int1 & sent11 -> int2: the buckthorn is not a grade.; sent2 & sent4 -> int3: the buckthorn is a Spirodela and/or it harangues spume.; sent6 -> int4: the buckthorn is a grade if it is a Spirodela.; sent7 -> int5: if the buckthorn does harangue spume it is a grade.; int3 & int4 & int5 -> int6: the buckthorn is a grade.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the aerosol is a peak.; int8 & sent8 -> hypothesis; __PROVED__