the coelenteron is not a drumhead.
sent1: something is a blended that does not command Hillary if it is not a videocassette. sent2: the coelenteron does not motorboat. sent3: something motorboats if it does not command GRAPO. sent4: that something is not a videocassette is right if that it either is focal or does not risk Tabasco or both does not hold. sent5: the sewage does not risk Tabasco if the rotor does motorboat and does not risk Tabasco. sent6: there is something such that that it is a videocassette is correct. sent7: something is a work and it does motorboat if it does not command GRAPO. sent8: if the sewage is not non-focal but it does not risk Tabasco then the rotor does not command GRAPO. sent9: if something is a kind of a work and it motorboats the coelenteron is not a drumhead.
sent7 -> int1: if the rotor does not command GRAPO it is a work and it is a kind of a motorboat.;
the coelenteron is a drumhead.
$hypothesis$ = the coelenteron is not a drumhead. ; $context$ = sent1: something is a blended that does not command Hillary if it is not a videocassette. sent2: the coelenteron does not motorboat. sent3: something motorboats if it does not command GRAPO. sent4: that something is not a videocassette is right if that it either is focal or does not risk Tabasco or both does not hold. sent5: the sewage does not risk Tabasco if the rotor does motorboat and does not risk Tabasco. sent6: there is something such that that it is a videocassette is correct. sent7: something is a work and it does motorboat if it does not command GRAPO. sent8: if the sewage is not non-focal but it does not risk Tabasco then the rotor does not command GRAPO. sent9: if something is a kind of a work and it motorboats the coelenteron is not a drumhead. ; $proof$ = 
sent7 -> int1: if the rotor does not command GRAPO it is a work and it is a kind of a motorboat.; __UNKNOWN__