the rubbing is not a kind of a tapster.
sent1: if the skyhook is an umbilical then it is a kind of a Heraclitus. sent2: if the Caddo is a Sabbatarian it is a kind of a dip. sent3: the skyhook is a monster that does not ogle. sent4: if something is a sign and it sparkles the rubbing is a kind of a tapster. sent5: if the skyhook is a Heraclitus then it is not tactile. sent6: the skyhook is an umbilical and it is a toby. sent7: the skyhook is Boolean. sent8: the skyhook sparkles. sent9: the pillar fits desertion but it is not umbilical. sent10: the skyhook does sign if it is non-tactile thing that does not ogle.
sent6 -> int1: the skyhook is an umbilical.; int1 & sent1 -> int2: the skyhook is a Heraclitus.; int2 & sent5 -> int3: the skyhook is not tactile.; sent3 -> int4: the skyhook does not ogle.; int3 & int4 -> int5: the skyhook is not tactile and it does not ogle.; int5 & sent10 -> int6: the fact that the skyhook signs hold.; int6 & sent8 -> int7: the skyhook is a kind of a sign that does sparkle.; int7 -> int8: something does sign and it sparkles.; int8 & sent4 -> hypothesis;
$hypothesis$ = the rubbing is not a kind of a tapster. ; $context$ = sent1: if the skyhook is an umbilical then it is a kind of a Heraclitus. sent2: if the Caddo is a Sabbatarian it is a kind of a dip. sent3: the skyhook is a monster that does not ogle. sent4: if something is a sign and it sparkles the rubbing is a kind of a tapster. sent5: if the skyhook is a Heraclitus then it is not tactile. sent6: the skyhook is an umbilical and it is a toby. sent7: the skyhook is Boolean. sent8: the skyhook sparkles. sent9: the pillar fits desertion but it is not umbilical. sent10: the skyhook does sign if it is non-tactile thing that does not ogle. ; $proof$ = 
sent6 -> int1: the skyhook is an umbilical.; int1 & sent1 -> int2: the skyhook is a Heraclitus.; int2 & sent5 -> int3: the skyhook is not tactile.; sent3 -> int4: the skyhook does not ogle.; int3 & int4 -> int5: the skyhook is not tactile and it does not ogle.; int5 & sent10 -> int6: the fact that the skyhook signs hold.; int6 & sent8 -> int7: the skyhook is a kind of a sign that does sparkle.; int7 -> int8: something does sign and it sparkles.; int8 & sent4 -> hypothesis; __DISPROVED__