the ideal does not remove vocation.
sent1: the microcyte is exothermic. sent2: the Duralumin dances telepathy. sent3: if something does dance samosa then it dances telepathy. sent4: if either the Duralumin does dance busload or it does dance telepathy or both then the vegetarian is not exothermic. sent5: if the Duralumin dances busload then the nurser does dances busload. sent6: if the Duralumin dances telepathy or it dances busload or both then the vegetarian does not remove vocation. sent7: something either dances samosa or is not exothermic or both if it does not dance busload. sent8: the Duralumin does not remove vocation. sent9: if the vegetarian either dances busload or is a kind of a mouthpart or both the ideal does not remove vocation. sent10: the Duralumin is a kind of a crown. sent11: the ideal does not remove vocation if the vegetarian is a mouthpart. sent12: if the Duralumin dances samosa the vegetarian does dance busload. sent13: if something is exothermic then it does dance samosa. sent14: something does dance busload if it does dance samosa. sent15: the Duralumin is sanitary if it is undependable. sent16: the Duralumin dances telepathy and is exothermic. sent17: the cathartid does dance samosa. sent18: if the vegetarian does dance telepathy then the Duralumin dances busload.
sent16 -> int1: the Duralumin is exothermic.; sent13 -> int2: the Duralumin dances samosa if it is exothermic.; int1 & int2 -> int3: the Duralumin does dance samosa.; int3 & sent12 -> int4: the vegetarian dances busload.; int4 -> int5: the vegetarian dances busload or is a mouthpart or both.; int5 & sent9 -> hypothesis;
the ideal does remove vocation.
sent7 -> int6: the Duralumin does dance samosa and/or it is not exothermic if the fact that it does not dance busload is not wrong.; sent3 -> int7: if the Duralumin dances samosa it does dance telepathy.;
$hypothesis$ = the ideal does not remove vocation. ; $context$ = sent1: the microcyte is exothermic. sent2: the Duralumin dances telepathy. sent3: if something does dance samosa then it dances telepathy. sent4: if either the Duralumin does dance busload or it does dance telepathy or both then the vegetarian is not exothermic. sent5: if the Duralumin dances busload then the nurser does dances busload. sent6: if the Duralumin dances telepathy or it dances busload or both then the vegetarian does not remove vocation. sent7: something either dances samosa or is not exothermic or both if it does not dance busload. sent8: the Duralumin does not remove vocation. sent9: if the vegetarian either dances busload or is a kind of a mouthpart or both the ideal does not remove vocation. sent10: the Duralumin is a kind of a crown. sent11: the ideal does not remove vocation if the vegetarian is a mouthpart. sent12: if the Duralumin dances samosa the vegetarian does dance busload. sent13: if something is exothermic then it does dance samosa. sent14: something does dance busload if it does dance samosa. sent15: the Duralumin is sanitary if it is undependable. sent16: the Duralumin dances telepathy and is exothermic. sent17: the cathartid does dance samosa. sent18: if the vegetarian does dance telepathy then the Duralumin dances busload. ; $proof$ = 
sent16 -> int1: the Duralumin is exothermic.; sent13 -> int2: the Duralumin dances samosa if it is exothermic.; int1 & int2 -> int3: the Duralumin does dance samosa.; int3 & sent12 -> int4: the vegetarian dances busload.; int4 -> int5: the vegetarian dances busload or is a mouthpart or both.; int5 & sent9 -> hypothesis; __PROVED__