the equipment is not a downside.
sent1: if the carter is uneager then the scoutmaster is extralinguistic. sent2: everything is not a isotherm. sent3: if the fact that the jungle does not suggest sweatband and it does not perseverate Mosan does not hold then the carter is uneager. sent4: the fact that the jungle does not suggest sweatband and does not perseverate Mosan is wrong if the equipment is not a kind of a downside. sent5: the scoutmaster is non-extralinguistic. sent6: if something is Demosthenic then that the equipment is not a Arius hold. sent7: something is not a downside if it is extralinguistic. sent8: something is not alterable but it is Demosthenic if the fact that it is not a isotherm is correct. sent9: something is extralinguistic and/or it is not uneager if it is not a kind of a Arius.
void -> assump1: Let's assume that the equipment is not a downside.; sent4 & assump1 -> int1: the fact that the jungle does not suggest sweatband and it does not perseverate Mosan is false.; int1 & sent3 -> int2: the carter is uneager.; int2 & sent1 -> int3: the scoutmaster is extralinguistic.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the equipment is not a downside.
sent7 -> int5: if the equipment is extralinguistic then it is not a kind of a downside.; sent9 -> int6: the equipment is extralinguistic and/or it is not uneager if it is not a Arius.; sent8 -> int7: the carter is both not alterable and Demosthenic if it is not a kind of a isotherm.; sent2 -> int8: the carter is not a isotherm.; int7 & int8 -> int9: the carter is not alterable but Demosthenic.; int9 -> int10: everything is not alterable but Demosthenic.; int10 -> int11: the jungle is both unalterable and not non-Demosthenic.; int11 -> int12: the jungle is Demosthenic.; int12 -> int13: there is something such that it is Demosthenic.; sent6 & int13 -> int14: the equipment is not a kind of a Arius.; int6 & int14 -> int15: the equipment is extralinguistic and/or it is not uneager.;
$hypothesis$ = the equipment is not a downside. ; $context$ = sent1: if the carter is uneager then the scoutmaster is extralinguistic. sent2: everything is not a isotherm. sent3: if the fact that the jungle does not suggest sweatband and it does not perseverate Mosan does not hold then the carter is uneager. sent4: the fact that the jungle does not suggest sweatband and does not perseverate Mosan is wrong if the equipment is not a kind of a downside. sent5: the scoutmaster is non-extralinguistic. sent6: if something is Demosthenic then that the equipment is not a Arius hold. sent7: something is not a downside if it is extralinguistic. sent8: something is not alterable but it is Demosthenic if the fact that it is not a isotherm is correct. sent9: something is extralinguistic and/or it is not uneager if it is not a kind of a Arius. ; $proof$ = 
void -> assump1: Let's assume that the equipment is not a downside.; sent4 & assump1 -> int1: the fact that the jungle does not suggest sweatband and it does not perseverate Mosan is false.; int1 & sent3 -> int2: the carter is uneager.; int2 & sent1 -> int3: the scoutmaster is extralinguistic.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__