the paintbox is basinal.
sent1: the lugworm is not Satanic if it is a Stalinist. sent2: if the sorbet papers then it is a facelift. sent3: if that the sorbet is a kind of a facelift hold it calendars. sent4: that the paintbox is basinal if the sorbet is a kind of a facelift is not wrong. sent5: the paintbox is a facelift if it is basinal. sent6: if the fact that the paintbox is a kind of a paper hold then it is basinal. sent7: the sorbet is a paper. sent8: something is a Stalinist if it is pudendal. sent9: the sorbet is basinal if the paintbox is a paper.
sent2 & sent7 -> int1: the sorbet is a facelift.; sent4 & int1 -> hypothesis;
the paintbox is not basinal.
sent8 -> int2: if the lugworm is pudendal then it is a Stalinist.;
$hypothesis$ = the paintbox is basinal. ; $context$ = sent1: the lugworm is not Satanic if it is a Stalinist. sent2: if the sorbet papers then it is a facelift. sent3: if that the sorbet is a kind of a facelift hold it calendars. sent4: that the paintbox is basinal if the sorbet is a kind of a facelift is not wrong. sent5: the paintbox is a facelift if it is basinal. sent6: if the fact that the paintbox is a kind of a paper hold then it is basinal. sent7: the sorbet is a paper. sent8: something is a Stalinist if it is pudendal. sent9: the sorbet is basinal if the paintbox is a paper. ; $proof$ = 
sent2 & sent7 -> int1: the sorbet is a facelift.; sent4 & int1 -> hypothesis; __PROVED__