that there is something such that it is not algoid does not hold.
sent1: there exists something such that it is manageable thing that does not still tristearin. sent2: that the tristearin is a barrel and possible does not hold if it does not fleer. sent3: the tristearin does not trouble deviousness. sent4: the stocker does trouble deviousness. sent5: the elephant is not a possible if the fact that the tristearin does barrel and it is a possible is incorrect. sent6: the stocker does barrel. sent7: there is something such that it does not trouble deviousness. sent8: if the stocker is a Brunswick and possible that the uke is not algoid hold. sent9: the fact that the tristearin does not barrel is false if the elephant is not a fleer. sent10: there exists something such that it is cortical. sent11: if there exists something such that that it is not a hock and is not a B.O. is not true the elephant is not a fleer. sent12: that the elephant does not letter sentimentalism but it hocks is wrong. sent13: The deviousness does trouble stocker. sent14: that the stocker does trouble deviousness if the stocker is a kind of a fleer is correct. sent15: the stocker is a possible if it troubles deviousness. sent16: if something that does not hock is not a B.O. then it is a Brunswick. sent17: the stocker is not a kind of a Achoerodus if there is something such that it is a kind of a possible. sent18: the stocker does not letter purchase. sent19: there is something such that that it is a fleer and it is not a Brunswick is not true. sent20: the fact that something is not a Brunswick and it is not algoid is not right if it troubles deviousness. sent21: the honeysucker is not a flooring. sent22: the tristearin is not a kind of a barrel. sent23: the stocker is not a kind of a hock if there is something such that it is a possible.
void -> assump1: Let's assume that that the stocker is not a hock and not a B.O. is not right.; assump1 -> int1: there exists something such that that it is not a hock and it is not a kind of a B.O. is not right.; int1 & sent11 -> int2: the fact that the elephant is not a fleer hold.; int2 & sent9 -> int3: the tristearin is a barrel.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stocker is not a hock and it is not a B.O..; sent16 -> int6: the stocker is a kind of a Brunswick if it does not hock and is not a B.O..; int5 & int6 -> int7: the fact that the stocker is a kind of a Brunswick is true.; sent15 & sent4 -> int8: the stocker is a possible.; int7 & int8 -> int9: the stocker is a Brunswick and it is a possible.; int9 & sent8 -> int10: the uke is not algoid.; int10 -> hypothesis;
the elephant is not a possible.
sent20 -> int11: the fact that the uke is not a Brunswick and it is not algoid is not true if it does trouble deviousness.; sent21 -> int12: there is something such that it is not a flooring.;
$hypothesis$ = that there is something such that it is not algoid does not hold. ; $context$ = sent1: there exists something such that it is manageable thing that does not still tristearin. sent2: that the tristearin is a barrel and possible does not hold if it does not fleer. sent3: the tristearin does not trouble deviousness. sent4: the stocker does trouble deviousness. sent5: the elephant is not a possible if the fact that the tristearin does barrel and it is a possible is incorrect. sent6: the stocker does barrel. sent7: there is something such that it does not trouble deviousness. sent8: if the stocker is a Brunswick and possible that the uke is not algoid hold. sent9: the fact that the tristearin does not barrel is false if the elephant is not a fleer. sent10: there exists something such that it is cortical. sent11: if there exists something such that that it is not a hock and is not a B.O. is not true the elephant is not a fleer. sent12: that the elephant does not letter sentimentalism but it hocks is wrong. sent13: The deviousness does trouble stocker. sent14: that the stocker does trouble deviousness if the stocker is a kind of a fleer is correct. sent15: the stocker is a possible if it troubles deviousness. sent16: if something that does not hock is not a B.O. then it is a Brunswick. sent17: the stocker is not a kind of a Achoerodus if there is something such that it is a kind of a possible. sent18: the stocker does not letter purchase. sent19: there is something such that that it is a fleer and it is not a Brunswick is not true. sent20: the fact that something is not a Brunswick and it is not algoid is not right if it troubles deviousness. sent21: the honeysucker is not a flooring. sent22: the tristearin is not a kind of a barrel. sent23: the stocker is not a kind of a hock if there is something such that it is a possible. ; $proof$ = 
void -> assump1: Let's assume that that the stocker is not a hock and not a B.O. is not right.; assump1 -> int1: there exists something such that that it is not a hock and it is not a kind of a B.O. is not right.; int1 & sent11 -> int2: the fact that the elephant is not a fleer hold.; int2 & sent9 -> int3: the tristearin is a barrel.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stocker is not a hock and it is not a B.O..; sent16 -> int6: the stocker is a kind of a Brunswick if it does not hock and is not a B.O..; int5 & int6 -> int7: the fact that the stocker is a kind of a Brunswick is true.; sent15 & sent4 -> int8: the stocker is a possible.; int7 & int8 -> int9: the stocker is a Brunswick and it is a possible.; int9 & sent8 -> int10: the uke is not algoid.; int10 -> hypothesis; __DISPROVED__