the Juggernaut is a Ceroxylon.
sent1: the Jezebel is sexy if the caiman is a kind of a techno but it is not bicapsular. sent2: the Jezebel does not price quixotism. sent3: if something is not a deep and/or it is not statistical then it is non-architectural. sent4: that the caiman is both not unsexy and not a techno is incorrect. sent5: the caiman is not sexy. sent6: that the Juggernaut is a Ceroxylon is not incorrect if that the caiman is not sexy and not a techno does not hold. sent7: if the Jezebel does not price quixotism and is not architectural then it is not bicapsular. sent8: the fact that something does not exclude Gordius and it is not a kind of a Ceroxylon does not hold if it is bicapsular. sent9: the Jezebel is bicapsular if the caiman is not sexy and not a techno. sent10: the Juggernaut is a Ceroxylon if the caiman is sexy. sent11: if something prices quixotism and is bicapsular it is not a Ceroxylon. sent12: the Jezebel does not price quixotism and is not architectural. sent13: if the Juggernaut does price quixotism but it is not a Ceroxylon the caiman is sexy.
void -> assump1: Let's assume that the caiman is unsexy and it is not a kind of a techno.; sent9 & assump1 -> int1: the Jezebel is bicapsular.; sent7 & sent12 -> int2: the Jezebel is not bicapsular.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the caiman is not sexy and it is not a techno is wrong.; int4 & sent6 -> hypothesis;
that the caiman does not exclude Gordius and it is not a Ceroxylon is not right.
sent8 -> int5: that the caiman does not exclude Gordius and is not a Ceroxylon does not hold if it is bicapsular.; sent3 -> int6: the Jezebel is not architectural if that it is not a deep and/or it is not statistical is true.;
$hypothesis$ = the Juggernaut is a Ceroxylon. ; $context$ = sent1: the Jezebel is sexy if the caiman is a kind of a techno but it is not bicapsular. sent2: the Jezebel does not price quixotism. sent3: if something is not a deep and/or it is not statistical then it is non-architectural. sent4: that the caiman is both not unsexy and not a techno is incorrect. sent5: the caiman is not sexy. sent6: that the Juggernaut is a Ceroxylon is not incorrect if that the caiman is not sexy and not a techno does not hold. sent7: if the Jezebel does not price quixotism and is not architectural then it is not bicapsular. sent8: the fact that something does not exclude Gordius and it is not a kind of a Ceroxylon does not hold if it is bicapsular. sent9: the Jezebel is bicapsular if the caiman is not sexy and not a techno. sent10: the Juggernaut is a Ceroxylon if the caiman is sexy. sent11: if something prices quixotism and is bicapsular it is not a Ceroxylon. sent12: the Jezebel does not price quixotism and is not architectural. sent13: if the Juggernaut does price quixotism but it is not a Ceroxylon the caiman is sexy. ; $proof$ = 
void -> assump1: Let's assume that the caiman is unsexy and it is not a kind of a techno.; sent9 & assump1 -> int1: the Jezebel is bicapsular.; sent7 & sent12 -> int2: the Jezebel is not bicapsular.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the caiman is not sexy and it is not a techno is wrong.; int4 & sent6 -> hypothesis; __PROVED__