something is a anatoxin and it is a kind of a bassinet.
sent1: the fact that something is not a all-rounder is right if it does pigment drainplug. sent2: The drainplug pigments outflow. sent3: if something pigments drainplug then it is a anatoxin and is not a all-rounder. sent4: the chandler does not pigment drainplug if the cloud is not a bassinet. sent5: the outflow pigments drainplug. sent6: the fact that if something does not pigment drainplug it is distinguishable and it is diffused is not false. sent7: the cloud is not a kind of a bassinet if the arthrogram is not a kind of a bassinet but it is transitional. sent8: the outflow is a bassinet if it is transitional.
sent3 -> int1: if the outflow pigments drainplug it is a anatoxin but not a all-rounder.; int1 & sent5 -> int2: the outflow is a anatoxin and not a all-rounder.; int2 -> int3: the outflow is a anatoxin.;
something is both distinguishable and diffused.
sent6 -> int4: the chandler is distinguishable and it diffuses if it does not pigment drainplug.;
$hypothesis$ = something is a anatoxin and it is a kind of a bassinet. ; $context$ = sent1: the fact that something is not a all-rounder is right if it does pigment drainplug. sent2: The drainplug pigments outflow. sent3: if something pigments drainplug then it is a anatoxin and is not a all-rounder. sent4: the chandler does not pigment drainplug if the cloud is not a bassinet. sent5: the outflow pigments drainplug. sent6: the fact that if something does not pigment drainplug it is distinguishable and it is diffused is not false. sent7: the cloud is not a kind of a bassinet if the arthrogram is not a kind of a bassinet but it is transitional. sent8: the outflow is a bassinet if it is transitional. ; $proof$ = 
sent3 -> int1: if the outflow pigments drainplug it is a anatoxin but not a all-rounder.; int1 & sent5 -> int2: the outflow is a anatoxin and not a all-rounder.; int2 -> int3: the outflow is a anatoxin.; __UNKNOWN__