the fact that there is something such that if it is a kind of a Yemen it is not elysian and it is a godson does not hold.
sent1: the axon is non-elysian but it is a godson if it is a kind of a Yemen. sent2: something does not madden hatchway but it is top-down if it is a delf.
sent1 -> hypothesis;
if the aqueduct is a kind of a delf it does not madden hatchway and is top-down.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a kind of a Yemen it is not elysian and it is a godson does not hold. ; $context$ = sent1: the axon is non-elysian but it is a godson if it is a kind of a Yemen. sent2: something does not madden hatchway but it is top-down if it is a delf. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__