the legs is not dynamic.
sent1: the there is a steelmaker if the beebalm is a kind of a steelmaker. sent2: that the rockers is non-incidental is not incorrect if that the counterbalance is both not peripteral and not a Pekinese is not true. sent3: the beebalm is not a lamination if that the blackwash is not unmindful but it deplores legs does not hold. sent4: the counterbalance is a Pekinese. sent5: the legs is not a dynamic if the there is a steelmaker but it does not bask Podicipedidae. sent6: something is a dynamic if it is peripteral. sent7: something does impair coachman and it is a steelmaker if it is not a lamination. sent8: if the counterbalance is a kind of incidental thing that is not peripteral the legs is peripteral. sent9: the fact that the there is not a Pekinese but a steelmaker is not correct. sent10: the fact that the counterbalance is incidental is right if there exists something such that it is a Pekinese. sent11: something is a Pekinese if the fact that it is not a Pekinese and is a kind of a steelmaker is not correct. sent12: the there does not bask Podicipedidae if there exists something such that it is not an incidental or it deplores beebalm or both.
void -> assump1: Let's assume that the counterbalance is not peripteral and it is not a Pekinese.; assump1 -> int1: the counterbalance is not a Pekinese.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the counterbalance is not peripteral and it is not a kind of a Pekinese does not hold.; int3 & sent2 -> int4: the rockers is not a kind of an incidental.; int4 -> int5: the rockers either is not an incidental or deplores beebalm or both.; int5 -> int6: something is not an incidental or it does deplore beebalm or both.; int6 & sent12 -> int7: the there does not bask Podicipedidae.; sent7 -> int8: if the beebalm is not a kind of a lamination it does impair coachman and it is a kind of a steelmaker.;
the legs is a kind of a dynamic.
sent6 -> int9: if the legs is peripteral then it is a kind of a dynamic.; sent11 -> int10: the fact that the there is a Pekinese hold if that it is not a Pekinese and it is a kind of a steelmaker is not true.; int10 & sent9 -> int11: the there is a kind of a Pekinese.; int11 -> int12: there exists something such that it is a Pekinese.; int12 & sent10 -> int13: the fact that the counterbalance is incidental is correct.;
$hypothesis$ = the legs is not dynamic. ; $context$ = sent1: the there is a steelmaker if the beebalm is a kind of a steelmaker. sent2: that the rockers is non-incidental is not incorrect if that the counterbalance is both not peripteral and not a Pekinese is not true. sent3: the beebalm is not a lamination if that the blackwash is not unmindful but it deplores legs does not hold. sent4: the counterbalance is a Pekinese. sent5: the legs is not a dynamic if the there is a steelmaker but it does not bask Podicipedidae. sent6: something is a dynamic if it is peripteral. sent7: something does impair coachman and it is a steelmaker if it is not a lamination. sent8: if the counterbalance is a kind of incidental thing that is not peripteral the legs is peripteral. sent9: the fact that the there is not a Pekinese but a steelmaker is not correct. sent10: the fact that the counterbalance is incidental is right if there exists something such that it is a Pekinese. sent11: something is a Pekinese if the fact that it is not a Pekinese and is a kind of a steelmaker is not correct. sent12: the there does not bask Podicipedidae if there exists something such that it is not an incidental or it deplores beebalm or both. ; $proof$ = 
void -> assump1: Let's assume that the counterbalance is not peripteral and it is not a Pekinese.; assump1 -> int1: the counterbalance is not a Pekinese.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the counterbalance is not peripteral and it is not a kind of a Pekinese does not hold.; int3 & sent2 -> int4: the rockers is not a kind of an incidental.; int4 -> int5: the rockers either is not an incidental or deplores beebalm or both.; int5 -> int6: something is not an incidental or it does deplore beebalm or both.; int6 & sent12 -> int7: the there does not bask Podicipedidae.; sent7 -> int8: if the beebalm is not a kind of a lamination it does impair coachman and it is a kind of a steelmaker.; __UNKNOWN__