the fashion is mucinoid.
sent1: the olive is not a sediment. sent2: if there is something such that that it does not exacerbate Beguine and it is a Zimbabwe is not correct the fashion is mucinoid. sent3: the fact that the olive does not exacerbate Beguine and is a Zimbabwe is wrong if it does not sediment.
sent3 & sent1 -> int1: that the olive does not exacerbate Beguine but it is a kind of a Zimbabwe is not true.; int1 -> int2: there is something such that that it does not exacerbate Beguine and it is a kind of a Zimbabwe is incorrect.; int2 & sent2 -> hypothesis;
$hypothesis$ = the fashion is mucinoid. ; $context$ = sent1: the olive is not a sediment. sent2: if there is something such that that it does not exacerbate Beguine and it is a Zimbabwe is not correct the fashion is mucinoid. sent3: the fact that the olive does not exacerbate Beguine and is a Zimbabwe is wrong if it does not sediment. ; $proof$ = 
sent3 & sent1 -> int1: that the olive does not exacerbate Beguine but it is a kind of a Zimbabwe is not true.; int1 -> int2: there is something such that that it does not exacerbate Beguine and it is a kind of a Zimbabwe is incorrect.; int2 & sent2 -> hypothesis; __PROVED__