that if the fact that the basalt does moralize is true that the bush is a kind of a caustic hold does not hold.
sent1: the immortelle is a manifest if that the Afghan is not a stickleback is not true. sent2: the gusset is low-level. sent3: if the immortelle does moralize then the basalt is low-level. sent4: the immortelle is a stickleback or it moralizes or both. sent5: the immortelle is a kind of a caustic. sent6: if the basalt does manifest the Afghan moralizes. sent7: the Afghan is a kind of a caustic. sent8: that the bush is a kind of a caustic hold if the immortelle is not low-level. sent9: if the immortelle is a stickleback and/or it is not low-level then the bush is a caustic. sent10: if the basalt is a stickleback that the immortelle moralizes hold. sent11: the immortelle is a kind of a caustic if the bush is a stickleback. sent12: if the fact that the basalt does moralize is true the Afghan is a manifest. sent13: the Afghan is low-level. sent14: if the bush is a stickleback and/or is not low-level then the immortelle is a caustic. sent15: the basalt is a manifest. sent16: the becket is a caustic. sent17: the bush is a kind of a caustic or moralizes or both. sent18: if the Afghan is a manifest the immortelle is a kind of a stickleback. sent19: the immortelle moralizes or it is not low-level or both.
void -> assump1: Let's assume that the basalt moralizes.; sent12 & assump1 -> int1: the Afghan is a kind of a manifest.; int1 & sent18 -> int2: the immortelle is a stickleback.; int2 -> int3: the immortelle is a kind of a stickleback or it is not low-level or both.; int3 & sent9 -> int4: the bush is a kind of a caustic.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the fact that the basalt does moralize is true that the bush is a kind of a caustic hold does not hold. ; $context$ = sent1: the immortelle is a manifest if that the Afghan is not a stickleback is not true. sent2: the gusset is low-level. sent3: if the immortelle does moralize then the basalt is low-level. sent4: the immortelle is a stickleback or it moralizes or both. sent5: the immortelle is a kind of a caustic. sent6: if the basalt does manifest the Afghan moralizes. sent7: the Afghan is a kind of a caustic. sent8: that the bush is a kind of a caustic hold if the immortelle is not low-level. sent9: if the immortelle is a stickleback and/or it is not low-level then the bush is a caustic. sent10: if the basalt is a stickleback that the immortelle moralizes hold. sent11: the immortelle is a kind of a caustic if the bush is a stickleback. sent12: if the fact that the basalt does moralize is true the Afghan is a manifest. sent13: the Afghan is low-level. sent14: if the bush is a stickleback and/or is not low-level then the immortelle is a caustic. sent15: the basalt is a manifest. sent16: the becket is a caustic. sent17: the bush is a kind of a caustic or moralizes or both. sent18: if the Afghan is a manifest the immortelle is a kind of a stickleback. sent19: the immortelle moralizes or it is not low-level or both. ; $proof$ = 
void -> assump1: Let's assume that the basalt moralizes.; sent12 & assump1 -> int1: the Afghan is a kind of a manifest.; int1 & sent18 -> int2: the immortelle is a stickleback.; int2 -> int3: the immortelle is a kind of a stickleback or it is not low-level or both.; int3 & sent9 -> int4: the bush is a kind of a caustic.; [assump1] & int4 -> hypothesis; __DISPROVED__