if the fact that the automaton is a bondholder is not wrong that the latke is a Pelecanidae is correct.
sent1: the latke is a Yay if the fact that the automaton is a bondholder hold. sent2: the automaton is a Yay. sent3: that the latke is not a Pelecanidae and is not a bondholder does not hold. sent4: if the fact that something is not a kind of a patronymic and it is not gastrointestinal is incorrect then it is a kind of a Pelecanidae. sent5: the fact that the automaton is not a Pelecanidae and is not a bondholder is false if it is a Yay. sent6: something is a bondholder if that it is not a patronymic and it is not a kind of a Pelecanidae is wrong. sent7: if that something does not scourge Tahitian and it does not scourge bookcase is not right it is not non-prismatic. sent8: if the latke is a Yay the automaton is a Pelecanidae. sent9: something is a Pelecanidae if it is a patronymic. sent10: that something is both a Pelecanidae and not a bondholder is not true if it is a Yay. sent11: the fact that something is not a kind of a render and is not necromantic is incorrect if it vaults latke. sent12: the fact that if something is a kind of a Yay the fact that it is not a patronymic and not gastrointestinal is false is correct.
void -> assump1: Let's assume that the automaton is a bondholder.; sent1 & assump1 -> int1: the latke is a Yay.; sent12 -> int2: that the latke is not a patronymic and is non-gastrointestinal is false if it is a kind of a Yay.; int1 & int2 -> int3: that the latke is non-patronymic and it is not gastrointestinal is false.; sent4 -> int4: the latke is a kind of a Pelecanidae if that it is not a patronymic and it is not gastrointestinal does not hold.; int3 & int4 -> int5: the latke is a Pelecanidae.; [assump1] & int5 -> hypothesis;
if the pollen vaults latke the fact that it does not render and is not necromantic is not right.
sent11 -> hypothesis;
$hypothesis$ = if the fact that the automaton is a bondholder is not wrong that the latke is a Pelecanidae is correct. ; $context$ = sent1: the latke is a Yay if the fact that the automaton is a bondholder hold. sent2: the automaton is a Yay. sent3: that the latke is not a Pelecanidae and is not a bondholder does not hold. sent4: if the fact that something is not a kind of a patronymic and it is not gastrointestinal is incorrect then it is a kind of a Pelecanidae. sent5: the fact that the automaton is not a Pelecanidae and is not a bondholder is false if it is a Yay. sent6: something is a bondholder if that it is not a patronymic and it is not a kind of a Pelecanidae is wrong. sent7: if that something does not scourge Tahitian and it does not scourge bookcase is not right it is not non-prismatic. sent8: if the latke is a Yay the automaton is a Pelecanidae. sent9: something is a Pelecanidae if it is a patronymic. sent10: that something is both a Pelecanidae and not a bondholder is not true if it is a Yay. sent11: the fact that something is not a kind of a render and is not necromantic is incorrect if it vaults latke. sent12: the fact that if something is a kind of a Yay the fact that it is not a patronymic and not gastrointestinal is false is correct. ; $proof$ = 
void -> assump1: Let's assume that the automaton is a bondholder.; sent1 & assump1 -> int1: the latke is a Yay.; sent12 -> int2: that the latke is not a patronymic and is non-gastrointestinal is false if it is a kind of a Yay.; int1 & int2 -> int3: that the latke is non-patronymic and it is not gastrointestinal is false.; sent4 -> int4: the latke is a kind of a Pelecanidae if that it is not a patronymic and it is not gastrointestinal does not hold.; int3 & int4 -> int5: the latke is a Pelecanidae.; [assump1] & int5 -> hypothesis; __PROVED__