the fact that the backbencher does not hedge Neva and does not hedge armlet hold.
sent1: That the oka does restore backbencher is not right. sent2: if something restores automatic that it does restore oka is not false. sent3: the backbencher does not hedge armlet if it does not restore oka. sent4: something that does not dissimilate inoculation is a kind of a almsgiver that is not a kind of a poor. sent5: the armlet is not a poor if the lock restores automatic and is a kind of a almsgiver. sent6: there is something such that it is diatonic and it is not a scud. sent7: the lock restores automatic. sent8: if there exists something such that the fact that it does dissimilate inoculation and is a kind of a parhelion is wrong the backbencher does not hedge Neva. sent9: if there exists something such that it is diatonic and does not scud then the lock does not hedge armlet. sent10: the lock is a parhelion and it hedges Neva if it does not hedge armlet. sent11: the lock is a kind of a almsgiver. sent12: The automatic restores lock. sent13: the fact that something does dissimilate inoculation and is a parhelion is incorrect if it is non-poor.
sent7 & sent11 -> int1: the lock restores automatic and is a almsgiver.; int1 & sent5 -> int2: the armlet is not a poor.; sent13 -> int3: if the armlet is not a kind of a poor then the fact that it dissimilates inoculation and it is a kind of a parhelion is not right.; int2 & int3 -> int4: the fact that the armlet dissimilates inoculation and is a parhelion is not right.; int4 -> int5: there exists something such that the fact that it dissimilates inoculation and is a kind of a parhelion is false.; int5 & sent8 -> int6: the backbencher does not hedge Neva.;
the onyxis does restore oka.
sent2 -> int7: the onyxis restores oka if it restores automatic.; sent4 -> int8: the lock is a almsgiver and is not poor if it does not dissimilate inoculation.; sent6 & sent9 -> int9: the lock does not hedge armlet.; sent10 & int9 -> int10: the lock is a kind of a parhelion that hedges Neva.;
$hypothesis$ = the fact that the backbencher does not hedge Neva and does not hedge armlet hold. ; $context$ = sent1: That the oka does restore backbencher is not right. sent2: if something restores automatic that it does restore oka is not false. sent3: the backbencher does not hedge armlet if it does not restore oka. sent4: something that does not dissimilate inoculation is a kind of a almsgiver that is not a kind of a poor. sent5: the armlet is not a poor if the lock restores automatic and is a kind of a almsgiver. sent6: there is something such that it is diatonic and it is not a scud. sent7: the lock restores automatic. sent8: if there exists something such that the fact that it does dissimilate inoculation and is a kind of a parhelion is wrong the backbencher does not hedge Neva. sent9: if there exists something such that it is diatonic and does not scud then the lock does not hedge armlet. sent10: the lock is a parhelion and it hedges Neva if it does not hedge armlet. sent11: the lock is a kind of a almsgiver. sent12: The automatic restores lock. sent13: the fact that something does dissimilate inoculation and is a parhelion is incorrect if it is non-poor. ; $proof$ = 
sent7 & sent11 -> int1: the lock restores automatic and is a almsgiver.; int1 & sent5 -> int2: the armlet is not a poor.; sent13 -> int3: if the armlet is not a kind of a poor then the fact that it dissimilates inoculation and it is a kind of a parhelion is not right.; int2 & int3 -> int4: the fact that the armlet dissimilates inoculation and is a parhelion is not right.; int4 -> int5: there exists something such that the fact that it dissimilates inoculation and is a kind of a parhelion is false.; int5 & sent8 -> int6: the backbencher does not hedge Neva.; __UNKNOWN__