the vaquero is not a kind of a self-punishment.
sent1: if the tomalley is not an undesirable but it does dogmatize then the die is not an undesirable. sent2: something is a self-punishment if it is not a kind of a Willamette. sent3: the vaquero is a Willamette and a critter. sent4: the die is not a kind of a critter or it does not criticize overprint or both if it is not an undesirable. sent5: something does not bow ladder-back and it is not a kind of a self-punishment if it is a kind of a critter. sent6: that something does not bow ladder-back but it is a Willamette is false if it is not a kind of a critter. sent7: the tomalley is not an undesirable and does dogmatize if it is not a trope. sent8: if the fact that something does not bow ladder-back but it is a Willamette is not right it is not a Willamette. sent9: the vaquero does not bow ladder-back if it is a critter.
sent3 -> int1: the vaquero is a critter.; sent5 -> int2: if the vaquero is a critter it does not bow ladder-back and it is not a self-punishment.; int1 & int2 -> int3: the vaquero does not bow ladder-back and is not a self-punishment.; int3 -> hypothesis;
the vaquero is a kind of a self-punishment.
sent2 -> int4: the vaquero is a self-punishment if it is not a Willamette.; sent8 -> int5: if that the vaquero does not bow ladder-back but it is a Willamette is incorrect it is not a Willamette.; sent6 -> int6: if the vaquero is not a kind of a critter that it does not bow ladder-back and is a Willamette is false.;
$hypothesis$ = the vaquero is not a kind of a self-punishment. ; $context$ = sent1: if the tomalley is not an undesirable but it does dogmatize then the die is not an undesirable. sent2: something is a self-punishment if it is not a kind of a Willamette. sent3: the vaquero is a Willamette and a critter. sent4: the die is not a kind of a critter or it does not criticize overprint or both if it is not an undesirable. sent5: something does not bow ladder-back and it is not a kind of a self-punishment if it is a kind of a critter. sent6: that something does not bow ladder-back but it is a Willamette is false if it is not a kind of a critter. sent7: the tomalley is not an undesirable and does dogmatize if it is not a trope. sent8: if the fact that something does not bow ladder-back but it is a Willamette is not right it is not a Willamette. sent9: the vaquero does not bow ladder-back if it is a critter. ; $proof$ = 
sent3 -> int1: the vaquero is a critter.; sent5 -> int2: if the vaquero is a critter it does not bow ladder-back and it is not a self-punishment.; int1 & int2 -> int3: the vaquero does not bow ladder-back and is not a self-punishment.; int3 -> hypothesis; __PROVED__