that if the cavern letters arduousness the astrologer is not Sumatran and does not transaminate mojo does not hold.
sent1: if the arboretum is Sumatran the fact that the astrologer is not a Sumatran and it does not transaminate mojo is not wrong. sent2: the flutist is a Anobiidae that is cryonics. sent3: the astrologer is not cryonics if the flutist is a Anobiidae and it is cryonics. sent4: the delineation is not a Lennon if there is something such that it is not upstream and it is not nonextant. sent5: if that something letters arduousness and is not a boughed is incorrect it does not letters arduousness. sent6: if something is nonextant then it perfects. sent7: if that the Sumerian is not nonextant but it transaminates mojo is not right the cavern is nonextant. sent8: the cavern is not upstream if something that is perfected is a Sumatran. sent9: if something perfects then it is a Sumatran. sent10: the arboretum is nonextant if the Sumerian is upstream. sent11: if the aperture does automobile then that the delineation does letter arduousness but it is not a kind of a boughed is false. sent12: the fact that the Sumerian is not nonextant but it transaminates mojo is not right if the astrologer is not cryonics. sent13: if the cavern does letter arduousness then the Sumerian is upstream.
void -> assump1: Let's assume that the cavern does letter arduousness.; sent13 & assump1 -> int1: the Sumerian is upstream.; int1 & sent10 -> int2: the arboretum is nonextant.; sent6 -> int3: the arboretum does perfect if it is nonextant.; int2 & int3 -> int4: the arboretum perfects.; sent9 -> int5: the arboretum is a Sumatran if it is perfected.; int4 & int5 -> int6: the arboretum is a kind of a Sumatran.; int6 & sent1 -> int7: the astrologer is not a Sumatran and it does not transaminate mojo.; [assump1] & int7 -> hypothesis;
the delineation is not a kind of a Lennon and does not letter arduousness.
sent3 & sent2 -> int8: the astrologer is not cryonics.; sent12 & int8 -> int9: that the Sumerian is not nonextant but it transaminates mojo does not hold.; sent7 & int9 -> int10: the cavern is not nonextant.; sent5 -> int11: if the fact that the delineation does letter arduousness but it is not a kind of a boughed is false then it does not letter arduousness.;
$hypothesis$ = that if the cavern letters arduousness the astrologer is not Sumatran and does not transaminate mojo does not hold. ; $context$ = sent1: if the arboretum is Sumatran the fact that the astrologer is not a Sumatran and it does not transaminate mojo is not wrong. sent2: the flutist is a Anobiidae that is cryonics. sent3: the astrologer is not cryonics if the flutist is a Anobiidae and it is cryonics. sent4: the delineation is not a Lennon if there is something such that it is not upstream and it is not nonextant. sent5: if that something letters arduousness and is not a boughed is incorrect it does not letters arduousness. sent6: if something is nonextant then it perfects. sent7: if that the Sumerian is not nonextant but it transaminates mojo is not right the cavern is nonextant. sent8: the cavern is not upstream if something that is perfected is a Sumatran. sent9: if something perfects then it is a Sumatran. sent10: the arboretum is nonextant if the Sumerian is upstream. sent11: if the aperture does automobile then that the delineation does letter arduousness but it is not a kind of a boughed is false. sent12: the fact that the Sumerian is not nonextant but it transaminates mojo is not right if the astrologer is not cryonics. sent13: if the cavern does letter arduousness then the Sumerian is upstream. ; $proof$ = 
void -> assump1: Let's assume that the cavern does letter arduousness.; sent13 & assump1 -> int1: the Sumerian is upstream.; int1 & sent10 -> int2: the arboretum is nonextant.; sent6 -> int3: the arboretum does perfect if it is nonextant.; int2 & int3 -> int4: the arboretum perfects.; sent9 -> int5: the arboretum is a Sumatran if it is perfected.; int4 & int5 -> int6: the arboretum is a kind of a Sumatran.; int6 & sent1 -> int7: the astrologer is not a Sumatran and it does not transaminate mojo.; [assump1] & int7 -> hypothesis; __DISPROVED__