if the hedge is a home then the wits is argentous.
sent1: the wits is argentous if the microcyte is not a kind of a shop and is not nordic. sent2: the hedge is not a kind of a home if the fact that the microcyte is not a kind of a shop and it is not nordic is incorrect.
void -> assump1: Let's assume that the hedge is a home.; void -> assump2: Let's assume that that the microcyte is both not a shop and not nordic is not correct.; sent2 & assump2 -> int1: the hedge does not home.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the microcyte does not shop and it is not nordic.; sent1 & int3 -> int4: the wits is not non-argentous.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the hedge is a home then the wits is argentous. ; $context$ = sent1: the wits is argentous if the microcyte is not a kind of a shop and is not nordic. sent2: the hedge is not a kind of a home if the fact that the microcyte is not a kind of a shop and it is not nordic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the hedge is a home.; void -> assump2: Let's assume that that the microcyte is both not a shop and not nordic is not correct.; sent2 & assump2 -> int1: the hedge does not home.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the microcyte does not shop and it is not nordic.; sent1 & int3 -> int4: the wits is not non-argentous.; [assump1] & int4 -> hypothesis; __PROVED__