if the handline is extrusive the tom-tom is on-site but it is not a Stanton.
sent1: if the tom-tom is a kind of a Stanton and it is afraid the handline is not extrusive. sent2: the handline is not a Stanton. sent3: the tom-tom is afraid. sent4: the handline is not a Stanton if the tom-tom is afraid and scalic. sent5: the handline is not non-on-site. sent6: something does vault Pegasus if it is nonfunctional. sent7: the nephrotoxin is not afraid. sent8: that the ricegrass is afraid is true. sent9: if the tom-tom is a kind of a Stanton that is afraid the handline is extrusive. sent10: that something is not a kind of a Stanton but it is afraid does not hold if it is not extrusive. sent11: the tom-tom vaults loofah. sent12: the tom-tom is scalic. sent13: the downhill is afraid. sent14: the tom-tom is leonine.
void -> assump1: Let's assume that the tom-tom is a Stanton.; assump1 & sent3 -> int1: the tom-tom is a kind of a Stanton and it is afraid.; int1 & sent1 -> int2: the handline is not extrusive.; void -> assump2: Let's assume that the handline is extrusive.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tom-tom is not a kind of a Stanton.;
the compensation is not scalic.
sent10 -> int5: the fact that that the tom-tom is both not a Stanton and afraid hold is not right if it is not extrusive.;
$hypothesis$ = if the handline is extrusive the tom-tom is on-site but it is not a Stanton. ; $context$ = sent1: if the tom-tom is a kind of a Stanton and it is afraid the handline is not extrusive. sent2: the handline is not a Stanton. sent3: the tom-tom is afraid. sent4: the handline is not a Stanton if the tom-tom is afraid and scalic. sent5: the handline is not non-on-site. sent6: something does vault Pegasus if it is nonfunctional. sent7: the nephrotoxin is not afraid. sent8: that the ricegrass is afraid is true. sent9: if the tom-tom is a kind of a Stanton that is afraid the handline is extrusive. sent10: that something is not a kind of a Stanton but it is afraid does not hold if it is not extrusive. sent11: the tom-tom vaults loofah. sent12: the tom-tom is scalic. sent13: the downhill is afraid. sent14: the tom-tom is leonine. ; $proof$ = 
void -> assump1: Let's assume that the tom-tom is a Stanton.; assump1 & sent3 -> int1: the tom-tom is a kind of a Stanton and it is afraid.; int1 & sent1 -> int2: the handline is not extrusive.; void -> assump2: Let's assume that the handline is extrusive.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tom-tom is not a kind of a Stanton.; __UNKNOWN__