the bufo is sectional.
sent1: the fact that the bufo is a kind of a sectional hold if that it is an overlay and not odorous is incorrect. sent2: the incense cobbles if it is a cross-classification. sent3: there is something such that that it does exalt westerner and is a redaction is incorrect. sent4: the incense is not a kind of a gat if it scoffs Pagurus and is a cobble. sent5: if the incense does not crucify then the fact that the wineglass does exalt bufo and it is a cross-classification does not hold. sent6: that the bufo is an overlay that is not odorous is false if the fact that the incense is not a gat is not false. sent7: the wineglass exalts bufo but it does not crucify if it is not rh-negative. sent8: if the wineglass does exalt bufo and does not crucify the incense scoffs Pagurus. sent9: the wineglass is not rh-negative if there is something such that that it exalts westerner and is a redaction is not right. sent10: the incense is a cross-classification.
sent3 & sent9 -> int1: the wineglass is not rh-negative.; int1 & sent7 -> int2: the wineglass exalts bufo and does not crucify.; int2 & sent8 -> int3: the incense does scoff Pagurus.; sent2 & sent10 -> int4: the incense is a kind of a cobble.; int3 & int4 -> int5: the incense does scoff Pagurus and it is a cobble.; int5 & sent4 -> int6: the incense is not a gat.; int6 & sent6 -> int7: the fact that the bufo does overlay but it is not odorous is wrong.; int7 & sent1 -> hypothesis;
$hypothesis$ = the bufo is sectional. ; $context$ = sent1: the fact that the bufo is a kind of a sectional hold if that it is an overlay and not odorous is incorrect. sent2: the incense cobbles if it is a cross-classification. sent3: there is something such that that it does exalt westerner and is a redaction is incorrect. sent4: the incense is not a kind of a gat if it scoffs Pagurus and is a cobble. sent5: if the incense does not crucify then the fact that the wineglass does exalt bufo and it is a cross-classification does not hold. sent6: that the bufo is an overlay that is not odorous is false if the fact that the incense is not a gat is not false. sent7: the wineglass exalts bufo but it does not crucify if it is not rh-negative. sent8: if the wineglass does exalt bufo and does not crucify the incense scoffs Pagurus. sent9: the wineglass is not rh-negative if there is something such that that it exalts westerner and is a redaction is not right. sent10: the incense is a cross-classification. ; $proof$ = 
sent3 & sent9 -> int1: the wineglass is not rh-negative.; int1 & sent7 -> int2: the wineglass exalts bufo and does not crucify.; int2 & sent8 -> int3: the incense does scoff Pagurus.; sent2 & sent10 -> int4: the incense is a kind of a cobble.; int3 & int4 -> int5: the incense does scoff Pagurus and it is a cobble.; int5 & sent4 -> int6: the incense is not a gat.; int6 & sent6 -> int7: the fact that the bufo does overlay but it is not odorous is wrong.; int7 & sent1 -> hypothesis; __PROVED__