the ala is not a graverobber.
sent1: the hemiplegic splutters if the vaporizer is a succussion. sent2: if something does not exclude Didelphidae then either it is a behavior or it is not masochistic or both. sent3: that the ala is a kind of a graverobber is not wrong if the thickhead is a behavior and/or not masochistic. sent4: if the thickhead is not nonclassical the fact that it does not exclude Didelphidae is right. sent5: if the dilutant excludes Didelphidae and/or it is not nonclassical the thickhead is a digestive. sent6: that the dilutant is a kind of non-vestibular a digestive is not correct. sent7: if the fact that something is not Malian or it splutters or both does not hold the fact that it is not nonclassical hold. sent8: if the hemiplegic splutters then the fact that either the thickhead is not a Malian or it does splutters or both is incorrect. sent9: the vaporizer is a kind of a succussion if there is something such that the fact that it is non-vestibular and not non-digestive does not hold.
sent6 -> int1: there is something such that that it is not vestibular and it is a digestive is wrong.; int1 & sent9 -> int2: the vaporizer is a succussion.; int2 & sent1 -> int3: the hemiplegic splutters.; int3 & sent8 -> int4: that the thickhead is not a Malian or it splutters or both is incorrect.; sent7 -> int5: if that the thickhead is not Malian or splutters or both is incorrect it is classical.; int4 & int5 -> int6: the thickhead is not nonclassical.; int6 & sent4 -> int7: the thickhead does not exclude Didelphidae.; sent2 -> int8: if the thickhead does not exclude Didelphidae then it is either a behavior or not masochistic or both.; int7 & int8 -> int9: the thickhead is a behavior or it is not masochistic or both.; int9 & sent3 -> hypothesis;
$hypothesis$ = the ala is not a graverobber. ; $context$ = sent1: the hemiplegic splutters if the vaporizer is a succussion. sent2: if something does not exclude Didelphidae then either it is a behavior or it is not masochistic or both. sent3: that the ala is a kind of a graverobber is not wrong if the thickhead is a behavior and/or not masochistic. sent4: if the thickhead is not nonclassical the fact that it does not exclude Didelphidae is right. sent5: if the dilutant excludes Didelphidae and/or it is not nonclassical the thickhead is a digestive. sent6: that the dilutant is a kind of non-vestibular a digestive is not correct. sent7: if the fact that something is not Malian or it splutters or both does not hold the fact that it is not nonclassical hold. sent8: if the hemiplegic splutters then the fact that either the thickhead is not a Malian or it does splutters or both is incorrect. sent9: the vaporizer is a kind of a succussion if there is something such that the fact that it is non-vestibular and not non-digestive does not hold. ; $proof$ = 
sent6 -> int1: there is something such that that it is not vestibular and it is a digestive is wrong.; int1 & sent9 -> int2: the vaporizer is a succussion.; int2 & sent1 -> int3: the hemiplegic splutters.; int3 & sent8 -> int4: that the thickhead is not a Malian or it splutters or both is incorrect.; sent7 -> int5: if that the thickhead is not Malian or splutters or both is incorrect it is classical.; int4 & int5 -> int6: the thickhead is not nonclassical.; int6 & sent4 -> int7: the thickhead does not exclude Didelphidae.; sent2 -> int8: if the thickhead does not exclude Didelphidae then it is either a behavior or not masochistic or both.; int7 & int8 -> int9: the thickhead is a behavior or it is not masochistic or both.; int9 & sent3 -> hypothesis; __DISPROVED__