the quaffer is a kind of a Preakness that does corner biter.
sent1: if the baneberry does not foreground then the quaffer does corner biter and it does foreground. sent2: the heir does better logogram but it does not foreground if the magazine is unobjectionable. sent3: the quaffer is a Preakness if there is something such that the fact that it does not better logogram and it is not unobjectionable is incorrect. sent4: if there is something such that the fact that it is not a foregrounding and it is not a credenza is wrong then the heir does corner biter. sent5: there is something such that the fact that it does not corner biter and it is a kind of a credenza is false. sent6: the heir is not a Thornton if there exists something such that it does not rotate. sent7: if the baneberry is not a Arilus the magazine is armillary and it is unobjectionable. sent8: there is something such that that it does not better logogram and it is unobjectionable is not true. sent9: the fact that something is a kind of a Preakness and it corners biter is not true if it is not a kind of a credenza. sent10: if something betters logogram but it does not foreground the fact that it is not a Thornton is not incorrect. sent11: if the fact that something does weed chemoreceptor and is a kind of a gadfly does not hold it is not a Arilus. sent12: if the magazine is not a kind of a Preakness the quaffer is a Thornton and is a kind of a Preakness. sent13: if there is something such that it is unobjectionable then the quaffer is a kind of a Preakness. sent14: there exists something such that the fact that it does not better logogram and is not unobjectionable is not true. sent15: if there exists something such that that that it is not a credenza and does rotate is right is false the baneberry is not a foregrounding. sent16: the magazine is a Thornton. sent17: if the heir is not a credenza then the fact that the magazine is not a kind of a Thornton is not wrong. sent18: the quaffer does foreground.
void -> assump1: Let's assume that the heir is not a credenza but it does rotate.; assump1 -> int1: the heir is not a credenza.; int1 & sent17 -> int2: the magazine is not a Thornton.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the heir is not a credenza but it does rotate is incorrect.; int4 -> int5: there is something such that the fact that it is not a credenza and it rotates is false.; int5 & sent15 -> int6: the baneberry is not a foregrounding.; int6 & sent1 -> int7: the quaffer corners biter and is a kind of a foregrounding.; int7 -> int8: the quaffer corners biter.; sent14 & sent3 -> int9: the quaffer is a Preakness.; int8 & int9 -> hypothesis;
the fact that that the quaffer is a kind of a Preakness and it corners biter is correct is false.
sent9 -> int10: if that the quaffer is not a credenza is not wrong the fact that it is a kind of a Preakness that does corner biter is incorrect.; sent10 -> int11: that if the heir does better logogram and is not the foregrounding the heir is not a Thornton is not wrong.; sent11 -> int12: the baneberry is not a Arilus if the fact that it does weed chemoreceptor and it is a gadfly is not correct.;
$hypothesis$ = the quaffer is a kind of a Preakness that does corner biter. ; $context$ = sent1: if the baneberry does not foreground then the quaffer does corner biter and it does foreground. sent2: the heir does better logogram but it does not foreground if the magazine is unobjectionable. sent3: the quaffer is a Preakness if there is something such that the fact that it does not better logogram and it is not unobjectionable is incorrect. sent4: if there is something such that the fact that it is not a foregrounding and it is not a credenza is wrong then the heir does corner biter. sent5: there is something such that the fact that it does not corner biter and it is a kind of a credenza is false. sent6: the heir is not a Thornton if there exists something such that it does not rotate. sent7: if the baneberry is not a Arilus the magazine is armillary and it is unobjectionable. sent8: there is something such that that it does not better logogram and it is unobjectionable is not true. sent9: the fact that something is a kind of a Preakness and it corners biter is not true if it is not a kind of a credenza. sent10: if something betters logogram but it does not foreground the fact that it is not a Thornton is not incorrect. sent11: if the fact that something does weed chemoreceptor and is a kind of a gadfly does not hold it is not a Arilus. sent12: if the magazine is not a kind of a Preakness the quaffer is a Thornton and is a kind of a Preakness. sent13: if there is something such that it is unobjectionable then the quaffer is a kind of a Preakness. sent14: there exists something such that the fact that it does not better logogram and is not unobjectionable is not true. sent15: if there exists something such that that that it is not a credenza and does rotate is right is false the baneberry is not a foregrounding. sent16: the magazine is a Thornton. sent17: if the heir is not a credenza then the fact that the magazine is not a kind of a Thornton is not wrong. sent18: the quaffer does foreground. ; $proof$ = 
void -> assump1: Let's assume that the heir is not a credenza but it does rotate.; assump1 -> int1: the heir is not a credenza.; int1 & sent17 -> int2: the magazine is not a Thornton.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the heir is not a credenza but it does rotate is incorrect.; int4 -> int5: there is something such that the fact that it is not a credenza and it rotates is false.; int5 & sent15 -> int6: the baneberry is not a foregrounding.; int6 & sent1 -> int7: the quaffer corners biter and is a kind of a foregrounding.; int7 -> int8: the quaffer corners biter.; sent14 & sent3 -> int9: the quaffer is a Preakness.; int8 & int9 -> hypothesis; __PROVED__