the official either is a tincture or does not overrun constellation or both.
sent1: there exists nothing such that it is a carminative and it is a Indonesian. sent2: the membrane does not capitalize humate if the fact that it is not a hippodrome and it spaces is false. sent3: the alcohol is not a kind of a hippodrome if the fact that that the raffia is a carminative and it is a Indonesian does not hold hold. sent4: the fact that the membrane is not a hippodrome but it does space is wrong if the alcohol is not a hippodrome. sent5: the passionflower overruns constellation. sent6: the fact that something tinctures and/or it does not overrun constellation is not right if it is a kind of a hippodrome. sent7: if the official overruns Parrish it tinctures or does not overrun constellation or both. sent8: the official overruns Parrish if the membrane does not capitalize humate.
sent1 -> int1: that the raffia is a kind of a carminative that is a Indonesian is incorrect.; int1 & sent3 -> int2: the alcohol is not a hippodrome.; int2 & sent4 -> int3: the fact that the membrane is both not a hippodrome and a space is false.; int3 & sent2 -> int4: the membrane does not capitalize humate.; int4 & sent8 -> int5: the official does overrun Parrish.; int5 & sent7 -> hypothesis;
the fact that the official does tincture and/or does not overrun constellation is wrong.
sent6 -> int6: if the official is a kind of a hippodrome that it tinctures and/or it does not overrun constellation is incorrect.;
$hypothesis$ = the official either is a tincture or does not overrun constellation or both. ; $context$ = sent1: there exists nothing such that it is a carminative and it is a Indonesian. sent2: the membrane does not capitalize humate if the fact that it is not a hippodrome and it spaces is false. sent3: the alcohol is not a kind of a hippodrome if the fact that that the raffia is a carminative and it is a Indonesian does not hold hold. sent4: the fact that the membrane is not a hippodrome but it does space is wrong if the alcohol is not a hippodrome. sent5: the passionflower overruns constellation. sent6: the fact that something tinctures and/or it does not overrun constellation is not right if it is a kind of a hippodrome. sent7: if the official overruns Parrish it tinctures or does not overrun constellation or both. sent8: the official overruns Parrish if the membrane does not capitalize humate. ; $proof$ = 
sent1 -> int1: that the raffia is a kind of a carminative that is a Indonesian is incorrect.; int1 & sent3 -> int2: the alcohol is not a hippodrome.; int2 & sent4 -> int3: the fact that the membrane is both not a hippodrome and a space is false.; int3 & sent2 -> int4: the membrane does not capitalize humate.; int4 & sent8 -> int5: the official does overrun Parrish.; int5 & sent7 -> hypothesis; __PROVED__