the chincherinchee does not stave epidemic.
sent1: that the hide is a thermoreceptor is not false. sent2: something does blacklist chincherinchee and/or it is not a donna if it does not stave envy. sent3: if the assassin does not intrude the chincherinchee does tincture and it staves epidemic. sent4: if the hide blacklists chincherinchee the assassin does not intrude. sent5: if the hide is not a donna the assassin does not intrude. sent6: the assassin intrudes if the hide blacklists chincherinchee. sent7: if the hide is a kind of a thermoreceptor it does not stave envy.
sent7 & sent1 -> int1: the hide does not stave envy.; sent2 -> int2: the fact that if the hide does not stave envy the hide does blacklist chincherinchee and/or it is not a donna is true.; int1 & int2 -> int3: the hide does blacklist chincherinchee and/or is not a donna.; int3 & sent4 & sent5 -> int4: the assassin does not intrude.; int4 & sent3 -> int5: the chincherinchee is a tincture and it does stave epidemic.; int5 -> hypothesis;
$hypothesis$ = the chincherinchee does not stave epidemic. ; $context$ = sent1: that the hide is a thermoreceptor is not false. sent2: something does blacklist chincherinchee and/or it is not a donna if it does not stave envy. sent3: if the assassin does not intrude the chincherinchee does tincture and it staves epidemic. sent4: if the hide blacklists chincherinchee the assassin does not intrude. sent5: if the hide is not a donna the assassin does not intrude. sent6: the assassin intrudes if the hide blacklists chincherinchee. sent7: if the hide is a kind of a thermoreceptor it does not stave envy. ; $proof$ = 
sent7 & sent1 -> int1: the hide does not stave envy.; sent2 -> int2: the fact that if the hide does not stave envy the hide does blacklist chincherinchee and/or it is not a donna is true.; int1 & int2 -> int3: the hide does blacklist chincherinchee and/or is not a donna.; int3 & sent4 & sent5 -> int4: the assassin does not intrude.; int4 & sent3 -> int5: the chincherinchee is a tincture and it does stave epidemic.; int5 -> hypothesis; __DISPROVED__