if the fact that the tinsmith does scram tapir is right the skewer is not .38-caliber.
sent1: the tinsmith is normative. sent2: the tinsmith is insufficient. sent3: if the skewer is both insufficient and .38-caliber the fact that the tinsmith does not scram tapir hold. sent4: the skewer is conclusive. sent5: if something is not .38-caliber then the fact that it is a kind of insufficient thing that does scram tapir is wrong. sent6: the fact that the skewer is conclusive and is insufficient is not incorrect. sent7: the skewer is .38-caliber if the tinsmith does scram tapir. sent8: the cornhusk is not sufficient. sent9: if the skewer is insufficient and it is .38-caliber then the tinsmith scrams tapir. sent10: if the skewer is a kind of .38-caliber thing that does scram tapir then that the tinsmith is not insufficient is right. sent11: the tinsmith is not conclusive. sent12: if the skewer is both insufficient and .38-caliber that the tinsmith is not conclusive hold.
void -> assump2: Let's assume that the tinsmith scrams tapir.; sent6 -> int1: the skewer is insufficient.; void -> assump1: Let's assume that the skewer is .38-caliber.; int1 & assump1 -> int2: the skewer is a kind of insufficient thing that is .38-caliber.; sent3 & int2 -> int3: the tinsmith does not scram tapir.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the skewer is not .38-caliber.; [assump2] & int5 -> hypothesis;
the tinsmith devalues.
sent5 -> int6: if the skewer is not .38-caliber then that it is insufficient and it scrams tapir is false.;
$hypothesis$ = if the fact that the tinsmith does scram tapir is right the skewer is not .38-caliber. ; $context$ = sent1: the tinsmith is normative. sent2: the tinsmith is insufficient. sent3: if the skewer is both insufficient and .38-caliber the fact that the tinsmith does not scram tapir hold. sent4: the skewer is conclusive. sent5: if something is not .38-caliber then the fact that it is a kind of insufficient thing that does scram tapir is wrong. sent6: the fact that the skewer is conclusive and is insufficient is not incorrect. sent7: the skewer is .38-caliber if the tinsmith does scram tapir. sent8: the cornhusk is not sufficient. sent9: if the skewer is insufficient and it is .38-caliber then the tinsmith scrams tapir. sent10: if the skewer is a kind of .38-caliber thing that does scram tapir then that the tinsmith is not insufficient is right. sent11: the tinsmith is not conclusive. sent12: if the skewer is both insufficient and .38-caliber that the tinsmith is not conclusive hold. ; $proof$ = 
void -> assump2: Let's assume that the tinsmith scrams tapir.; sent6 -> int1: the skewer is insufficient.; void -> assump1: Let's assume that the skewer is .38-caliber.; int1 & assump1 -> int2: the skewer is a kind of insufficient thing that is .38-caliber.; sent3 & int2 -> int3: the tinsmith does not scram tapir.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the skewer is not .38-caliber.; [assump2] & int5 -> hypothesis; __PROVED__