the Kazakhstani is comprehensive.
sent1: the Kazakhstani is comprehensive if that the etiologist does overrefine irresponsibility is right. sent2: if the etiologist is a dichromacy then the stodge is fatty. sent3: everything is not chondritic and it is not arterial. sent4: if a non-chondritic thing is not arterial then it is not fatty. sent5: if something overrefines irresponsibility then it is not a crinoid and it does not page plaintiff.
void -> assump1: Let's assume that the etiologist does not overrefine irresponsibility.; sent4 -> int1: the stodge is not fatty if it is a kind of non-chondritic thing that is not arterial.; sent3 -> int2: the stodge is not chondritic and it is not arterial.; int1 & int2 -> int3: the stodge is not fatty.;
the stodge is not a crinoid and it does not page plaintiff.
sent5 -> int4: if that the stodge overrefines irresponsibility is true then it is not crinoid and it does not page plaintiff.;
$hypothesis$ = the Kazakhstani is comprehensive. ; $context$ = sent1: the Kazakhstani is comprehensive if that the etiologist does overrefine irresponsibility is right. sent2: if the etiologist is a dichromacy then the stodge is fatty. sent3: everything is not chondritic and it is not arterial. sent4: if a non-chondritic thing is not arterial then it is not fatty. sent5: if something overrefines irresponsibility then it is not a crinoid and it does not page plaintiff. ; $proof$ = 
void -> assump1: Let's assume that the etiologist does not overrefine irresponsibility.; sent4 -> int1: the stodge is not fatty if it is a kind of non-chondritic thing that is not arterial.; sent3 -> int2: the stodge is not chondritic and it is not arterial.; int1 & int2 -> int3: the stodge is not fatty.; __UNKNOWN__