the sunset is a subservience.
sent1: there exists something such that that it does not befall and is a rambutan is not right. sent2: that the sunset is a kind of non-propulsive a headgear hold if it does not top peptone. sent3: there is nothing that is a rambutan and does shag. sent4: if that something is a rambutan and it shags is not true it does not shags. sent5: the valet does not malt entellus. sent6: the sunset is a subservience if it does top peptone. sent7: the fact that the shoji is a kind of a UN if the sunset is not propulsive hold. sent8: the shoji tops peptone if that the mask is not a circuit and it is not a UN is not correct. sent9: the valet is not a kind of a shag if there exists something such that that it does not befall and is a rambutan does not hold. sent10: the shoji is not a kind of a endospore and is not a circuit if the mask does not shag.
void -> assump1: Let's assume that the fact that the sunset does not top peptone hold.; sent2 & assump1 -> int1: the sunset is not propulsive but it is a headgear.; int1 -> int2: the sunset is not propulsive.; int2 & sent7 -> int3: the shoji is a UN.; sent4 -> int4: the mask is not a shag if the fact that it is both a rambutan and a shag is false.; sent3 -> int5: that that the mask is a rambutan and a shag does not hold is not false.; int4 & int5 -> int6: the mask is not a shag.; sent10 & int6 -> int7: the shoji is both not a endospore and not a circuit.;
the sunset is not a subservience.
sent1 & sent9 -> int8: the valet is not a shag.; sent5 & int8 -> int9: the valet does not malt entellus and it is not a shag.; int9 -> int10: there is something such that that it does not malt entellus and is not a kind of a shag is not incorrect.;
$hypothesis$ = the sunset is a subservience. ; $context$ = sent1: there exists something such that that it does not befall and is a rambutan is not right. sent2: that the sunset is a kind of non-propulsive a headgear hold if it does not top peptone. sent3: there is nothing that is a rambutan and does shag. sent4: if that something is a rambutan and it shags is not true it does not shags. sent5: the valet does not malt entellus. sent6: the sunset is a subservience if it does top peptone. sent7: the fact that the shoji is a kind of a UN if the sunset is not propulsive hold. sent8: the shoji tops peptone if that the mask is not a circuit and it is not a UN is not correct. sent9: the valet is not a kind of a shag if there exists something such that that it does not befall and is a rambutan does not hold. sent10: the shoji is not a kind of a endospore and is not a circuit if the mask does not shag. ; $proof$ = 
void -> assump1: Let's assume that the fact that the sunset does not top peptone hold.; sent2 & assump1 -> int1: the sunset is not propulsive but it is a headgear.; int1 -> int2: the sunset is not propulsive.; int2 & sent7 -> int3: the shoji is a UN.; sent4 -> int4: the mask is not a shag if the fact that it is both a rambutan and a shag is false.; sent3 -> int5: that that the mask is a rambutan and a shag does not hold is not false.; int4 & int5 -> int6: the mask is not a shag.; sent10 & int6 -> int7: the shoji is both not a endospore and not a circuit.; __UNKNOWN__