the band is not catoptrics.
sent1: the grotto is bionics if the sustenance is tearless. sent2: the grotto is tearless if there is something such that the fact that it is bionics and is not agonal does not hold. sent3: if there exists something such that that it is a Taiwanese and it is not agonal is wrong then the sustenance is tearless. sent4: the band is catoptrics if the amiodarone is a headrace. sent5: there is something such that it is catoptrics and it is not bionics. sent6: there is something such that the fact that it is a Taiwanese and it is catoptrics is not correct. sent7: if the VLDL is Taiwanese then the amiodarone is a kind of a headrace. sent8: that that the grotto does not slug Algeripithecus does not hold hold. sent9: something is not bionics if it does slug Algeripithecus. sent10: That that the Algeripithecus does not slug grotto does not hold hold. sent11: something is not a portability if it brazens age.
void -> assump1: Let's assume that that the VLDL is a Taiwanese and not agonal is not correct.; assump1 -> int1: there is something such that the fact that it is a Taiwanese and it is not agonal is not true.; int1 & sent3 -> int2: the sustenance is tearless.; int2 & sent1 -> int3: the grotto is bionics.; sent9 -> int4: the grotto is not bionics if it does slug Algeripithecus.; int4 & sent8 -> int5: the grotto is not bionics.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the VLDL is a Taiwanese that is not agonal.; int7 -> int8: the VLDL is a Taiwanese.; int8 & sent7 -> int9: the amiodarone is a kind of a headrace.; int9 & sent4 -> hypothesis;
$hypothesis$ = the band is not catoptrics. ; $context$ = sent1: the grotto is bionics if the sustenance is tearless. sent2: the grotto is tearless if there is something such that the fact that it is bionics and is not agonal does not hold. sent3: if there exists something such that that it is a Taiwanese and it is not agonal is wrong then the sustenance is tearless. sent4: the band is catoptrics if the amiodarone is a headrace. sent5: there is something such that it is catoptrics and it is not bionics. sent6: there is something such that the fact that it is a Taiwanese and it is catoptrics is not correct. sent7: if the VLDL is Taiwanese then the amiodarone is a kind of a headrace. sent8: that that the grotto does not slug Algeripithecus does not hold hold. sent9: something is not bionics if it does slug Algeripithecus. sent10: That that the Algeripithecus does not slug grotto does not hold hold. sent11: something is not a portability if it brazens age. ; $proof$ = 
void -> assump1: Let's assume that that the VLDL is a Taiwanese and not agonal is not correct.; assump1 -> int1: there is something such that the fact that it is a Taiwanese and it is not agonal is not true.; int1 & sent3 -> int2: the sustenance is tearless.; int2 & sent1 -> int3: the grotto is bionics.; sent9 -> int4: the grotto is not bionics if it does slug Algeripithecus.; int4 & sent8 -> int5: the grotto is not bionics.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the VLDL is a Taiwanese that is not agonal.; int7 -> int8: the VLDL is a Taiwanese.; int8 & sent7 -> int9: the amiodarone is a kind of a headrace.; int9 & sent4 -> hypothesis; __DISPROVED__