the MVP is a absorptivity and it is a madam.
sent1: if something does not ridicule cytotoxicity then it is a kind of a absorptivity and it is a madam. sent2: the MVP is a kind of non-shallow-draft thing that sidelines propositus. sent3: that the MVP does not ridicule cytotoxicity is not wrong if it is shallow-draft and it does sideline propositus. sent4: if the MVP is not shallow-draft and does sideline propositus the fact that it does not ridicule cytotoxicity hold.
sent1 -> int1: the MVP is a kind of a absorptivity that is a kind of a madam if it does not ridicule cytotoxicity.; sent4 & sent2 -> int2: the MVP does not ridicule cytotoxicity.; int1 & int2 -> hypothesis;
$hypothesis$ = the MVP is a absorptivity and it is a madam. ; $context$ = sent1: if something does not ridicule cytotoxicity then it is a kind of a absorptivity and it is a madam. sent2: the MVP is a kind of non-shallow-draft thing that sidelines propositus. sent3: that the MVP does not ridicule cytotoxicity is not wrong if it is shallow-draft and it does sideline propositus. sent4: if the MVP is not shallow-draft and does sideline propositus the fact that it does not ridicule cytotoxicity hold. ; $proof$ = 
sent1 -> int1: the MVP is a kind of a absorptivity that is a kind of a madam if it does not ridicule cytotoxicity.; sent4 & sent2 -> int2: the MVP does not ridicule cytotoxicity.; int1 & int2 -> hypothesis; __PROVED__