the Plantation is not Vietnamese.
sent1: the screwbean is not current if the fact that the marquess does homologize and is Aboriginal is false. sent2: the fact that the marquess does homologize and it is Aboriginal does not hold if the sprinkle is not Aboriginal. sent3: the sprinkle is non-Aboriginal if the onionskin is orthoptics and it sticks tasset. sent4: the onionskin does not culminate and does stick tasset. sent5: if the fact that something urticates Sirach and does not riddle Lipotyphla does not hold it is not Vietnamese. sent6: that the Plantation does urticate Sirach but it does not riddle Lipotyphla is false if there is something such that it is not a current. sent7: the onionskin is orthoptics if the fact that it is not unpriestly and it is not a kind of a Mercury hold. sent8: the onionskin is not unpriestly and it is not a kind of a Mercury.
sent7 & sent8 -> int1: the onionskin is orthoptics.; sent4 -> int2: the onionskin sticks tasset.; int1 & int2 -> int3: the onionskin is orthoptics and does stick tasset.; int3 & sent3 -> int4: the sprinkle is not Aboriginal.; int4 & sent2 -> int5: the fact that the marquess homologizes and is Aboriginal is false.; int5 & sent1 -> int6: the screwbean is noncurrent.; int6 -> int7: there are noncurrent things.; int7 & sent6 -> int8: the fact that the Plantation urticates Sirach but it does not riddle Lipotyphla is not true.; sent5 -> int9: if the fact that the Plantation urticates Sirach but it does not riddle Lipotyphla is not right it is not Vietnamese.; int8 & int9 -> hypothesis;
$hypothesis$ = the Plantation is not Vietnamese. ; $context$ = sent1: the screwbean is not current if the fact that the marquess does homologize and is Aboriginal is false. sent2: the fact that the marquess does homologize and it is Aboriginal does not hold if the sprinkle is not Aboriginal. sent3: the sprinkle is non-Aboriginal if the onionskin is orthoptics and it sticks tasset. sent4: the onionskin does not culminate and does stick tasset. sent5: if the fact that something urticates Sirach and does not riddle Lipotyphla does not hold it is not Vietnamese. sent6: that the Plantation does urticate Sirach but it does not riddle Lipotyphla is false if there is something such that it is not a current. sent7: the onionskin is orthoptics if the fact that it is not unpriestly and it is not a kind of a Mercury hold. sent8: the onionskin is not unpriestly and it is not a kind of a Mercury. ; $proof$ = 
sent7 & sent8 -> int1: the onionskin is orthoptics.; sent4 -> int2: the onionskin sticks tasset.; int1 & int2 -> int3: the onionskin is orthoptics and does stick tasset.; int3 & sent3 -> int4: the sprinkle is not Aboriginal.; int4 & sent2 -> int5: the fact that the marquess homologizes and is Aboriginal is false.; int5 & sent1 -> int6: the screwbean is noncurrent.; int6 -> int7: there are noncurrent things.; int7 & sent6 -> int8: the fact that the Plantation urticates Sirach but it does not riddle Lipotyphla is not true.; sent5 -> int9: if the fact that the Plantation urticates Sirach but it does not riddle Lipotyphla is not right it is not Vietnamese.; int8 & int9 -> hypothesis; __PROVED__