the sturgeon is not tetragonal.
sent1: if something is not a Zairese it does aggregate brambling and it is not mud-brick. sent2: if the foe is not mud-brick the crow is not a patriotism and not Eurafrican. sent3: if something that is a rubefacient is a kind of a patriotism then that it is not Eurafrican is not wrong. sent4: if the crow is not a kind of a patriotism and it is not a kind of a Eurafrican the epilation is not a rubefacient. sent5: if that something is hilar but it does not aggregate brambling is wrong it is not mud-brick. sent6: if the fact that the crow is not hilar and/or is not a kind of a pimento is false then the sturgeon is not hilar. sent7: if the epilation is not a kind of a rubefacient the sturgeon is tetragonal. sent8: the epilation is not a Zairese. sent9: that that the crow is not hilar or not a pimento or both is not right is true. sent10: the sturgeon is a rubefacient. sent11: the sturgeon is not tetragonal if it is not hilar and it is not a kind of a patriotism.
void -> assump1: Let's assume that the sturgeon is a kind of a patriotism.; sent10 & assump1 -> int1: the sturgeon is a rubefacient and is a patriotism.; sent3 -> int2: that the sturgeon is not the Eurafrican if the sturgeon is a rubefacient and it is a patriotism is not wrong.; int1 & int2 -> int3: the sturgeon is not a kind of a Eurafrican.; int3 -> int4: there exists something such that it is not a kind of a Eurafrican.; sent1 -> int5: if the epilation is not a kind of a Zairese it aggregates brambling and it is non-mud-brick.; int5 & sent8 -> int6: the epilation aggregates brambling but it is not mud-brick.; sent6 & sent9 -> int7: the sturgeon is not hilar.;
the sturgeon is tetragonal.
sent5 -> int8: the foe is not mud-brick if that it is hilar thing that does not aggregate brambling is not right.;
$hypothesis$ = the sturgeon is not tetragonal. ; $context$ = sent1: if something is not a Zairese it does aggregate brambling and it is not mud-brick. sent2: if the foe is not mud-brick the crow is not a patriotism and not Eurafrican. sent3: if something that is a rubefacient is a kind of a patriotism then that it is not Eurafrican is not wrong. sent4: if the crow is not a kind of a patriotism and it is not a kind of a Eurafrican the epilation is not a rubefacient. sent5: if that something is hilar but it does not aggregate brambling is wrong it is not mud-brick. sent6: if the fact that the crow is not hilar and/or is not a kind of a pimento is false then the sturgeon is not hilar. sent7: if the epilation is not a kind of a rubefacient the sturgeon is tetragonal. sent8: the epilation is not a Zairese. sent9: that that the crow is not hilar or not a pimento or both is not right is true. sent10: the sturgeon is a rubefacient. sent11: the sturgeon is not tetragonal if it is not hilar and it is not a kind of a patriotism. ; $proof$ = 
void -> assump1: Let's assume that the sturgeon is a kind of a patriotism.; sent10 & assump1 -> int1: the sturgeon is a rubefacient and is a patriotism.; sent3 -> int2: that the sturgeon is not the Eurafrican if the sturgeon is a rubefacient and it is a patriotism is not wrong.; int1 & int2 -> int3: the sturgeon is not a kind of a Eurafrican.; int3 -> int4: there exists something such that it is not a kind of a Eurafrican.; sent1 -> int5: if the epilation is not a kind of a Zairese it aggregates brambling and it is non-mud-brick.; int5 & sent8 -> int6: the epilation aggregates brambling but it is not mud-brick.; sent6 & sent9 -> int7: the sturgeon is not hilar.; __UNKNOWN__