the fact that the coppersmith is a beechnut but it is not uncousinly hold if the Highlander is a Khachaturian.
sent1: if the coppersmith is not a beechnut then it is a short. sent2: if the fact that the Highlander is not uncousinly hold then the coppersmith is not a beechnut and is a Khachaturian. sent3: the coppersmith is a short. sent4: the coppersmith is not uncousinly. sent5: the Highlander is not a Khachaturian if the fact that the coppersmith is not short and/or it does not sicken groundhog is incorrect. sent6: if something is not a beechnut it is a short.
void -> assump2: Let's assume that the coppersmith is not a kind of a beechnut.;
the coppersmith is a Khachaturian.
$hypothesis$ = the fact that the coppersmith is a beechnut but it is not uncousinly hold if the Highlander is a Khachaturian. ; $context$ = sent1: if the coppersmith is not a beechnut then it is a short. sent2: if the fact that the Highlander is not uncousinly hold then the coppersmith is not a beechnut and is a Khachaturian. sent3: the coppersmith is a short. sent4: the coppersmith is not uncousinly. sent5: the Highlander is not a Khachaturian if the fact that the coppersmith is not short and/or it does not sicken groundhog is incorrect. sent6: if something is not a beechnut it is a short. ; $proof$ = 
void -> assump2: Let's assume that the coppersmith is not a kind of a beechnut.; __UNKNOWN__