that the oilrig does not intimate but it is indistinguishable does not hold.
sent1: the brittle does reflectorize frilled. sent2: that the oilrig does not intimate and is indistinguishable is not true if that the inoculant intimate is not wrong. sent3: The frilled does reflectorize brittle. sent4: the inoculant does intimate if the brittle does reflectorize frilled.
sent4 & sent1 -> int1: the inoculant does intimate.; sent2 & int1 -> hypothesis;
$hypothesis$ = that the oilrig does not intimate but it is indistinguishable does not hold. ; $context$ = sent1: the brittle does reflectorize frilled. sent2: that the oilrig does not intimate and is indistinguishable is not true if that the inoculant intimate is not wrong. sent3: The frilled does reflectorize brittle. sent4: the inoculant does intimate if the brittle does reflectorize frilled. ; $proof$ = 
sent4 & sent1 -> int1: the inoculant does intimate.; sent2 & int1 -> hypothesis; __PROVED__