if the frogmouth is not incoherent the piroplasm is not doctoral.
sent1: if that something is incoherent but it is not doctoral is not correct it is doctoral. sent2: the frogmouth averages delphinium. sent3: The delphinium averages frogmouth. sent4: the baroreceptor does not average delphinium. sent5: the piroplasm does average delphinium. sent6: that something is incoherent and not doctoral is wrong if it averages delphinium. sent7: the piroplasm is not doctoral if the frogmouth averages delphinium and is not incoherent.
void -> assump1: Let's assume that the frogmouth is not incoherent.; sent2 & assump1 -> int1: the frogmouth does average delphinium but it is not incoherent.; sent7 & int1 -> int2: the piroplasm is not doctoral.; [assump1] & int2 -> hypothesis;
the piroplasm is doctoral but it does not average knife-edge.
sent1 -> int3: if that the piroplasm is incoherent and not doctoral is incorrect it is doctoral.; sent6 -> int4: the fact that the piroplasm is incoherent but it is not doctoral is incorrect if it does average delphinium.; int4 & sent5 -> int5: the fact that the fact that the piroplasm is incoherent but it is not doctoral is incorrect is right.; int3 & int5 -> int6: the piroplasm is doctoral.;
$hypothesis$ = if the frogmouth is not incoherent the piroplasm is not doctoral. ; $context$ = sent1: if that something is incoherent but it is not doctoral is not correct it is doctoral. sent2: the frogmouth averages delphinium. sent3: The delphinium averages frogmouth. sent4: the baroreceptor does not average delphinium. sent5: the piroplasm does average delphinium. sent6: that something is incoherent and not doctoral is wrong if it averages delphinium. sent7: the piroplasm is not doctoral if the frogmouth averages delphinium and is not incoherent. ; $proof$ = 
void -> assump1: Let's assume that the frogmouth is not incoherent.; sent2 & assump1 -> int1: the frogmouth does average delphinium but it is not incoherent.; sent7 & int1 -> int2: the piroplasm is not doctoral.; [assump1] & int2 -> hypothesis; __PROVED__