if the barrator is a battalion the fact that the emplacement does not snuff langbeinite and/or it is soleless does not hold.
sent1: that the emplacement does snuff langbeinite and/or is soleless is incorrect. sent2: that the emplacement does not snuff langbeinite and/or is soleless is wrong if the fact that the barrator is not soleless is true. sent3: the emplacement is an equine and is an ionosphere if that the barrator is not a battalion is not false. sent4: something is not soleless if it is an ionosphere and a battalion. sent5: the emplacement does not snuff langbeinite and/or it is soleless if the barrator is not soleless. sent6: the barrator is an ionosphere if there is something such that the fact that it varies or it is not an equine or both is correct. sent7: something does vary and/or is not equine. sent8: if the barrator is a battalion the emplacement does not snuff langbeinite and/or is soleless. sent9: if the barrator is an equine the emplacement is not an ionosphere.
sent7 & sent6 -> int1: the barrator is a kind of an ionosphere.; void -> assump1: Let's assume that the barrator is a battalion.; int1 & assump1 -> int2: the barrator is both an ionosphere and a battalion.; sent4 -> int3: if the barrator is a kind of an ionosphere and it is a battalion then it is not soleless.; int2 & int3 -> int4: the barrator is not soleless.; int4 & sent2 -> int5: the fact that the fact that the emplacement does not snuff langbeinite and/or is soleless is true does not hold.; [assump1] & int5 -> hypothesis;
that the emplacement is not equine is not right.
$hypothesis$ = if the barrator is a battalion the fact that the emplacement does not snuff langbeinite and/or it is soleless does not hold. ; $context$ = sent1: that the emplacement does snuff langbeinite and/or is soleless is incorrect. sent2: that the emplacement does not snuff langbeinite and/or is soleless is wrong if the fact that the barrator is not soleless is true. sent3: the emplacement is an equine and is an ionosphere if that the barrator is not a battalion is not false. sent4: something is not soleless if it is an ionosphere and a battalion. sent5: the emplacement does not snuff langbeinite and/or it is soleless if the barrator is not soleless. sent6: the barrator is an ionosphere if there is something such that the fact that it varies or it is not an equine or both is correct. sent7: something does vary and/or is not equine. sent8: if the barrator is a battalion the emplacement does not snuff langbeinite and/or is soleless. sent9: if the barrator is an equine the emplacement is not an ionosphere. ; $proof$ = 
sent7 & sent6 -> int1: the barrator is a kind of an ionosphere.; void -> assump1: Let's assume that the barrator is a battalion.; int1 & assump1 -> int2: the barrator is both an ionosphere and a battalion.; sent4 -> int3: if the barrator is a kind of an ionosphere and it is a battalion then it is not soleless.; int2 & int3 -> int4: the barrator is not soleless.; int4 & sent2 -> int5: the fact that the fact that the emplacement does not snuff langbeinite and/or is soleless is true does not hold.; [assump1] & int5 -> hypothesis; __PROVED__