the ferrocerium does not undo.
sent1: if the aphakic commutates the positron commutates. sent2: if the Nestorian is a kind of a kneeler and it does engender then the positron does not commutate. sent3: if the Nestorian is not a pest then the fact that it is non-anagogic thing that does not splat positron is incorrect. sent4: the fact that something is a pest that does not undo is incorrect if it is not a kneeler. sent5: the Nestorian is a kneeler if the fact that it is not anagogic and it does not splat positron is not true. sent6: that the Nestorian is not a kind of a pest is not false. sent7: the ferrocerium does not engender. sent8: if the Nestorian does splat positron it is a kind of a kneeler. sent9: the aphakic does commutate. sent10: the Nestorian does not commutate and does engender if it does not finish forbearance. sent11: if something is outer it does not finish forbearance. sent12: the fact that the ferrocerium does not splat positron but it engenders is not correct. sent13: if the Nestorian is not a kneeler then the positron is not a kind of a kneeler and commutates. sent14: the ferrocerium does not undo if it does not engender and it finishes forbearance. sent15: the fact that the positron does not commutate and it is not a pest is false if it does not engender. sent16: the Nestorian does not splat positron but it does commutate if the positron does not splat positron. sent17: if something does not commutate but it engenders it is not a kneeler. sent18: if the ferrocerium is not anagogic but it is a kneeler then it does not undo. sent19: if the ferrocerium does engender and does finish forbearance then it does not undo. sent20: the positron is not a kneeler.
sent3 & sent6 -> int1: that the Nestorian is not anagogic and it does not splat positron is not right.; int1 & sent5 -> int2: the Nestorian is a kind of a kneeler.; void -> assump1: Let's assume that the Nestorian does engender.; int2 & assump1 -> int3: the Nestorian is a kind of a kneeler that engenders.; int3 & sent2 -> int4: the positron does not commutate.; sent1 & sent9 -> int5: the positron commutates.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Nestorian does not engender.;
the ferrocerium undoes.
sent4 -> int8: if the Nestorian is not a kind of a kneeler then that it is a pest and it does not undo is incorrect.; sent17 -> int9: the Nestorian is not a kneeler if it does not commutate and engenders.; sent11 -> int10: if the Nestorian is outer it does not finish forbearance.;
$hypothesis$ = the ferrocerium does not undo. ; $context$ = sent1: if the aphakic commutates the positron commutates. sent2: if the Nestorian is a kind of a kneeler and it does engender then the positron does not commutate. sent3: if the Nestorian is not a pest then the fact that it is non-anagogic thing that does not splat positron is incorrect. sent4: the fact that something is a pest that does not undo is incorrect if it is not a kneeler. sent5: the Nestorian is a kneeler if the fact that it is not anagogic and it does not splat positron is not true. sent6: that the Nestorian is not a kind of a pest is not false. sent7: the ferrocerium does not engender. sent8: if the Nestorian does splat positron it is a kind of a kneeler. sent9: the aphakic does commutate. sent10: the Nestorian does not commutate and does engender if it does not finish forbearance. sent11: if something is outer it does not finish forbearance. sent12: the fact that the ferrocerium does not splat positron but it engenders is not correct. sent13: if the Nestorian is not a kneeler then the positron is not a kind of a kneeler and commutates. sent14: the ferrocerium does not undo if it does not engender and it finishes forbearance. sent15: the fact that the positron does not commutate and it is not a pest is false if it does not engender. sent16: the Nestorian does not splat positron but it does commutate if the positron does not splat positron. sent17: if something does not commutate but it engenders it is not a kneeler. sent18: if the ferrocerium is not anagogic but it is a kneeler then it does not undo. sent19: if the ferrocerium does engender and does finish forbearance then it does not undo. sent20: the positron is not a kneeler. ; $proof$ = 
sent3 & sent6 -> int1: that the Nestorian is not anagogic and it does not splat positron is not right.; int1 & sent5 -> int2: the Nestorian is a kind of a kneeler.; void -> assump1: Let's assume that the Nestorian does engender.; int2 & assump1 -> int3: the Nestorian is a kind of a kneeler that engenders.; int3 & sent2 -> int4: the positron does not commutate.; sent1 & sent9 -> int5: the positron commutates.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Nestorian does not engender.; __UNKNOWN__