the outcaste is a sandbagger.
sent1: something is a kind of a poetess if it is a siphonophore. sent2: the spherocyte is not a siphonophore but it is a poetess. sent3: if something is not stainable then the fact that it is a siphonophore and is a pose is right. sent4: the fact that the spherocyte is both not a sandbagger and ancestral does not hold if it is not radiotelephonic. sent5: something is not a roadkill if it is hand-held. sent6: if the Shintoist is hand-held the greyback is stainable. sent7: the Shintoist is hand-held if the bioelectricity is a kind of a pose. sent8: if the greyback is stainable the outcaste is a kind of stainable thing that is not ancestral. sent9: if the spherocyte is not a siphonophore the bioelectricity is a pose. sent10: if something is both non-stainable and not ancestral it is not a sandbagger. sent11: a non-ancestral thing is hand-held. sent12: the spherocyte is not radiotelephonic. sent13: if the fact that the spherocyte is not a sandbagger and is ancestral does not hold the irreligionist is not ancestral.
sent2 -> int1: the fact that the spherocyte is not a siphonophore is true.; int1 & sent9 -> int2: the bioelectricity is a pose.; int2 & sent7 -> int3: that the Shintoist is hand-held is correct.; int3 & sent6 -> int4: the greyback is stainable.; int4 & sent8 -> int5: the outcaste is not stainable and is non-ancestral.; sent10 -> int6: the outcaste is not a sandbagger if it is both not stainable and not ancestral.; int5 & int6 -> hypothesis;
the irreligionist is not a roadkill but it is a kind of a poetess.
sent5 -> int7: the fact that the irreligionist is not a roadkill is true if it is hand-held.; sent11 -> int8: if the irreligionist is not ancestral it is hand-held.; sent4 & sent12 -> int9: the fact that the spherocyte is not a kind of a sandbagger but it is ancestral is wrong.; sent13 & int9 -> int10: the irreligionist is not ancestral.; int8 & int10 -> int11: the irreligionist is hand-held.; int7 & int11 -> int12: the irreligionist is not a roadkill.; sent1 -> int13: if the irreligionist is a siphonophore then that it is a poetess is right.; sent3 -> int14: if that the irreligionist is not stainable is true it is a siphonophore that is a pose.;
$hypothesis$ = the outcaste is a sandbagger. ; $context$ = sent1: something is a kind of a poetess if it is a siphonophore. sent2: the spherocyte is not a siphonophore but it is a poetess. sent3: if something is not stainable then the fact that it is a siphonophore and is a pose is right. sent4: the fact that the spherocyte is both not a sandbagger and ancestral does not hold if it is not radiotelephonic. sent5: something is not a roadkill if it is hand-held. sent6: if the Shintoist is hand-held the greyback is stainable. sent7: the Shintoist is hand-held if the bioelectricity is a kind of a pose. sent8: if the greyback is stainable the outcaste is a kind of stainable thing that is not ancestral. sent9: if the spherocyte is not a siphonophore the bioelectricity is a pose. sent10: if something is both non-stainable and not ancestral it is not a sandbagger. sent11: a non-ancestral thing is hand-held. sent12: the spherocyte is not radiotelephonic. sent13: if the fact that the spherocyte is not a sandbagger and is ancestral does not hold the irreligionist is not ancestral. ; $proof$ = 
sent2 -> int1: the fact that the spherocyte is not a siphonophore is true.; int1 & sent9 -> int2: the bioelectricity is a pose.; int2 & sent7 -> int3: that the Shintoist is hand-held is correct.; int3 & sent6 -> int4: the greyback is stainable.; int4 & sent8 -> int5: the outcaste is not stainable and is non-ancestral.; sent10 -> int6: the outcaste is not a sandbagger if it is both not stainable and not ancestral.; int5 & int6 -> hypothesis; __DISPROVED__