the hematologist bethinks hematologist and/or it is a kind of a hymn.
sent1: the crank is not editorial. sent2: that the adjustment does damage effervescence but it is not supersonic hold if it does hymn. sent3: the fact that the hematologist bethinks hematologist and/or it is a hymn is wrong if the adjustment does not hymn. sent4: the hematologist does not bethink hematologist. sent5: the fact that the crank is non-zoological and it is not supersonic is false if it is not editorial. sent6: the crank is not zoological. sent7: the crank is not zoological and it is not supersonic if the adjustment is not supersonic.
void -> assump1: Let's assume that the adjustment hymns.; sent2 & assump1 -> int1: the adjustment does damage effervescence but it is not supersonic.; int1 -> int2: the adjustment is not supersonic.; int2 & sent7 -> int3: that the crank is not zoological and it is not supersonic hold.; sent5 & sent1 -> int4: the fact that the crank is both not zoological and not supersonic is not right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the adjustment does not hymn.; int6 & sent3 -> hypothesis;
$hypothesis$ = the hematologist bethinks hematologist and/or it is a kind of a hymn. ; $context$ = sent1: the crank is not editorial. sent2: that the adjustment does damage effervescence but it is not supersonic hold if it does hymn. sent3: the fact that the hematologist bethinks hematologist and/or it is a hymn is wrong if the adjustment does not hymn. sent4: the hematologist does not bethink hematologist. sent5: the fact that the crank is non-zoological and it is not supersonic is false if it is not editorial. sent6: the crank is not zoological. sent7: the crank is not zoological and it is not supersonic if the adjustment is not supersonic. ; $proof$ = 
void -> assump1: Let's assume that the adjustment hymns.; sent2 & assump1 -> int1: the adjustment does damage effervescence but it is not supersonic.; int1 -> int2: the adjustment is not supersonic.; int2 & sent7 -> int3: that the crank is not zoological and it is not supersonic hold.; sent5 & sent1 -> int4: the fact that the crank is both not zoological and not supersonic is not right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the adjustment does not hymn.; int6 & sent3 -> hypothesis; __DISPROVED__