the appliance is not a defensibility and is not a military.
sent1: that the disinfectant is a diamagnetism and is not tannic is not correct if the appliance is not macrocosmic. sent2: that the disinfectant is not a diamagnetism but it is not non-tannic does not hold. sent3: if the appliance is macrocosmic it is not a kind of a defensibility. sent4: everything is not a concomitance and is dimorphic. sent5: that that the disinfectant is a kind of a diamagnetism but it is not tannic is not false is not correct. sent6: the fact that the appliance is not a defensibility hold. sent7: the Chartist is a litterer if that the disinfectant is not a kind of a diamagnetism and it is not tannic is false. sent8: that the disinfectant is not a diamagnetism and not tannic is not right if the fact that the appliance is not macrocosmic is true. sent9: something is both macrocosmic and a litterer if it is not subclavian. sent10: the Lebanese does not signify and it is not a diamagnetism. sent11: the appliance is not a defensibility and it is not a military if it is macrocosmic. sent12: that the appliance is both not a defensibility and not military is false if the disinfectant is macrocosmic. sent13: if the appliance is not macrocosmic that the disinfectant is not a diamagnetism but it is tannic does not hold. sent14: something is Hertzian if it is not a concomitance and it is dimorphic. sent15: the Chartist is not a litterer.
void -> assump1: Let's assume that the appliance is not macrocosmic.; sent8 & assump1 -> int1: that the disinfectant is not a kind of a diamagnetism and is not tannic is incorrect.; int1 & sent7 -> int2: the Chartist is a kind of a litterer.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the appliance is macrocosmic is true.; int4 & sent11 -> hypothesis;
that the appliance is not a kind of a defensibility and is not a kind of a military is not right.
sent9 -> int5: if the disinfectant is not subclavian it is macrocosmic a litterer.; sent14 -> int6: the fact that if the Chartist is not a kind of the concomitance but it is dimorphic then the Chartist is Hertzian hold.; sent4 -> int7: the Chartist is not a concomitance but it is dimorphic.; int6 & int7 -> int8: the Chartist is Hertzian.; int8 -> int9: there is something such that it is Hertzian.;
$hypothesis$ = the appliance is not a defensibility and is not a military. ; $context$ = sent1: that the disinfectant is a diamagnetism and is not tannic is not correct if the appliance is not macrocosmic. sent2: that the disinfectant is not a diamagnetism but it is not non-tannic does not hold. sent3: if the appliance is macrocosmic it is not a kind of a defensibility. sent4: everything is not a concomitance and is dimorphic. sent5: that that the disinfectant is a kind of a diamagnetism but it is not tannic is not false is not correct. sent6: the fact that the appliance is not a defensibility hold. sent7: the Chartist is a litterer if that the disinfectant is not a kind of a diamagnetism and it is not tannic is false. sent8: that the disinfectant is not a diamagnetism and not tannic is not right if the fact that the appliance is not macrocosmic is true. sent9: something is both macrocosmic and a litterer if it is not subclavian. sent10: the Lebanese does not signify and it is not a diamagnetism. sent11: the appliance is not a defensibility and it is not a military if it is macrocosmic. sent12: that the appliance is both not a defensibility and not military is false if the disinfectant is macrocosmic. sent13: if the appliance is not macrocosmic that the disinfectant is not a diamagnetism but it is tannic does not hold. sent14: something is Hertzian if it is not a concomitance and it is dimorphic. sent15: the Chartist is not a litterer. ; $proof$ = 
void -> assump1: Let's assume that the appliance is not macrocosmic.; sent8 & assump1 -> int1: that the disinfectant is not a kind of a diamagnetism and is not tannic is incorrect.; int1 & sent7 -> int2: the Chartist is a kind of a litterer.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the appliance is macrocosmic is true.; int4 & sent11 -> hypothesis; __PROVED__