the anesthetic is a kind of a brad that consternates antimalarial.
sent1: if something presents then the anesthetic is blond and it consternates antimalarial. sent2: the hoosegow does not consternate theory and/or it is not a present. sent3: if the tinfoil does not impact the fact that the antimalarial is not an alcoholism or is not a Tubman or both does not hold. sent4: the fact that the anesthetic brads is not wrong if the roadrunner is an alcoholism. sent5: a actinomycetal thing does not capitulate. sent6: the tinfoil is a kind of a blond but it is not an impact if the councilman is not a present. sent7: the anesthetic is a blond. sent8: the antimalarial impacts. sent9: if there is something such that it does not consternate theory and/or it is not a kind of a present then the councilman is present. sent10: if something is a kind of a Sciuridae then it is a kind of a Tubman. sent11: if the antimalarial does impact then the kingmaker is a Tiepolo. sent12: the tinfoil is a kind of a present. sent13: something does not strengthen Dufy and is a Sciuridae if it is a Tiepolo.
sent13 -> int1: if the kingmaker is a kind of a Tiepolo then it does not strengthen Dufy and it is a Sciuridae.; sent11 & sent8 -> int2: the kingmaker is a Tiepolo.; int1 & int2 -> int3: the kingmaker does not strengthen Dufy but it is a kind of a Sciuridae.; int3 -> int4: the kingmaker is a Sciuridae.; sent10 -> int5: if the kingmaker is a kind of a Sciuridae then it is a Tubman.; int4 & int5 -> int6: the kingmaker is a Tubman.; sent12 -> int7: there exists something such that the fact that it presents is true.; int7 & sent1 -> int8: the anesthetic is a kind of a blond and does consternate antimalarial.; int8 -> int9: the anesthetic does consternate antimalarial.;
that the anesthetic does brad and it does consternate antimalarial does not hold.
sent2 -> int10: something does not consternate theory and/or is not a present.; int10 & sent9 -> int11: the councilman is non-present.; sent6 & int11 -> int12: the tinfoil is a blond but not an impact.; int12 -> int13: the tinfoil is not an impact.; sent3 & int13 -> int14: that the antimalarial either is not an alcoholism or is not a Tubman or both does not hold.; int14 -> int15: there is something such that the fact that it is not an alcoholism or it is not a kind of a Tubman or both is not right.;
$hypothesis$ = the anesthetic is a kind of a brad that consternates antimalarial. ; $context$ = sent1: if something presents then the anesthetic is blond and it consternates antimalarial. sent2: the hoosegow does not consternate theory and/or it is not a present. sent3: if the tinfoil does not impact the fact that the antimalarial is not an alcoholism or is not a Tubman or both does not hold. sent4: the fact that the anesthetic brads is not wrong if the roadrunner is an alcoholism. sent5: a actinomycetal thing does not capitulate. sent6: the tinfoil is a kind of a blond but it is not an impact if the councilman is not a present. sent7: the anesthetic is a blond. sent8: the antimalarial impacts. sent9: if there is something such that it does not consternate theory and/or it is not a kind of a present then the councilman is present. sent10: if something is a kind of a Sciuridae then it is a kind of a Tubman. sent11: if the antimalarial does impact then the kingmaker is a Tiepolo. sent12: the tinfoil is a kind of a present. sent13: something does not strengthen Dufy and is a Sciuridae if it is a Tiepolo. ; $proof$ = 
sent13 -> int1: if the kingmaker is a kind of a Tiepolo then it does not strengthen Dufy and it is a Sciuridae.; sent11 & sent8 -> int2: the kingmaker is a Tiepolo.; int1 & int2 -> int3: the kingmaker does not strengthen Dufy but it is a kind of a Sciuridae.; int3 -> int4: the kingmaker is a Sciuridae.; sent10 -> int5: if the kingmaker is a kind of a Sciuridae then it is a Tubman.; int4 & int5 -> int6: the kingmaker is a Tubman.; sent12 -> int7: there exists something such that the fact that it presents is true.; int7 & sent1 -> int8: the anesthetic is a kind of a blond and does consternate antimalarial.; int8 -> int9: the anesthetic does consternate antimalarial.; __UNKNOWN__