the persuader is vocational.
sent1: the persuader does not pestle kinsman and is ampullar if it is not virological. sent2: if something is a kind of a Sardinian then it is healthful and it is not virological. sent3: the sneeze is not ampullar if it is not rehabilitative and narrows persuader. sent4: if the persuader is not virological it is ampullar. sent5: something is not vocational if it does not pestle kinsman and is ampullar. sent6: that the tumbrel is not a kind of a lodestar and it does not stuff nook does not hold if it narrows sketchiness. sent7: the persuader is not virological. sent8: if a healthful thing is non-virological then it is vocational. sent9: if something is not perianal it is a Sardinian.
sent5 -> int1: if the persuader does not pestle kinsman but it is ampullar then it is not vocational.; sent1 & sent7 -> int2: the persuader does not pestle kinsman but it is ampullar.; int1 & int2 -> hypothesis;
the persuader is vocational.
sent8 -> int3: the persuader is vocational if it is healthful and it is not virological.; sent2 -> int4: the persuader is healthful but it is not virological if it is Sardinian.; sent9 -> int5: the persuader is a kind of a Sardinian if that it is not perianal is not incorrect.;
$hypothesis$ = the persuader is vocational. ; $context$ = sent1: the persuader does not pestle kinsman and is ampullar if it is not virological. sent2: if something is a kind of a Sardinian then it is healthful and it is not virological. sent3: the sneeze is not ampullar if it is not rehabilitative and narrows persuader. sent4: if the persuader is not virological it is ampullar. sent5: something is not vocational if it does not pestle kinsman and is ampullar. sent6: that the tumbrel is not a kind of a lodestar and it does not stuff nook does not hold if it narrows sketchiness. sent7: the persuader is not virological. sent8: if a healthful thing is non-virological then it is vocational. sent9: if something is not perianal it is a Sardinian. ; $proof$ = 
sent5 -> int1: if the persuader does not pestle kinsman but it is ampullar then it is not vocational.; sent1 & sent7 -> int2: the persuader does not pestle kinsman but it is ampullar.; int1 & int2 -> hypothesis; __DISPROVED__