the telencephalon subsides.
sent1: the diesel-hydraulic is not a camber. sent2: if the telencephalon is a camber then the rya subsides. sent3: the telencephalon is a camber. sent4: the rya is not a kind of a camber. sent5: if the telencephalon subsides then the rya is a kind of a camber. sent6: the rya subsides.
void -> assump1: Let's assume that that the telencephalon does subside hold.; sent5 & assump1 -> int1: the rya is a camber.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the telencephalon subsides. ; $context$ = sent1: the diesel-hydraulic is not a camber. sent2: if the telencephalon is a camber then the rya subsides. sent3: the telencephalon is a camber. sent4: the rya is not a kind of a camber. sent5: if the telencephalon subsides then the rya is a kind of a camber. sent6: the rya subsides. ; $proof$ = 
void -> assump1: Let's assume that that the telencephalon does subside hold.; sent5 & assump1 -> int1: the rya is a camber.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__