that the fisherman is not a lick and/or it does not soldier uranium is not correct.
sent1: if the fact that the uranium is non-academic and a Heinz is wrong it is not a Doolittle. sent2: the uranium is a Doolittle. sent3: that the fisherman is not a lick or it does not soldier uranium or both does not hold if the slab does soldier uranium. sent4: the uranium is not a Doolittle if that it is academic hold. sent5: the slab soldiers uranium if the uranium is a kind of non-academic thing that is a Heinz.
void -> assump1: Let's assume that the fact that the uranium is not academic but it is a Heinz does not hold.; sent1 & assump1 -> int1: the uranium is not a Doolittle.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the uranium is non-academic thing that is a kind of a Heinz.; int3 & sent5 -> int4: the slab does soldier uranium.; int4 & sent3 -> hypothesis;
$hypothesis$ = that the fisherman is not a lick and/or it does not soldier uranium is not correct. ; $context$ = sent1: if the fact that the uranium is non-academic and a Heinz is wrong it is not a Doolittle. sent2: the uranium is a Doolittle. sent3: that the fisherman is not a lick or it does not soldier uranium or both does not hold if the slab does soldier uranium. sent4: the uranium is not a Doolittle if that it is academic hold. sent5: the slab soldiers uranium if the uranium is a kind of non-academic thing that is a Heinz. ; $proof$ = 
void -> assump1: Let's assume that the fact that the uranium is not academic but it is a Heinz does not hold.; sent1 & assump1 -> int1: the uranium is not a Doolittle.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the uranium is non-academic thing that is a kind of a Heinz.; int3 & sent5 -> int4: the slab does soldier uranium.; int4 & sent3 -> hypothesis; __PROVED__