the coatrack is not a Perilla and not a promycelium.
sent1: the fact that the pipeline is not cacodylic hold. sent2: if the fact that the synovium photographs is not false the roentgenogram is undulatory. sent3: if there is something such that the fact that either it is not cacodylic or it is not enzymatic or both is false then the synovium photographs. sent4: the coatrack is pyrogallic. sent5: if that something does color but it is not undulatory does not hold then it is not a photograph. sent6: if that the breech is non-cacodylic and/or it is not enzymatic is true then the coatrack is not a Perilla. sent7: everything is not evolutionary. sent8: the schizanthus is both not a photograph and not combustible. sent9: the roentgenogram colors but it is not evolutionary. sent10: that something is a color and is not evolutionary does not hold if it is undulatory. sent11: if the roentgenogram is a promycelium then that it is a color that is not pyrogallic is false.
void -> assump1: Let's assume that that the breech is not cacodylic and/or it is not enzymatic is not true.; assump1 -> int1: there exists something such that the fact that it is not cacodylic or it is not enzymatic or both is incorrect.; int1 & sent3 -> int2: the synovium is a photograph.; int2 & sent2 -> int3: the roentgenogram is undulatory.; sent10 -> int4: if the roentgenogram is undulatory the fact that it is both color and non-evolutionary does not hold.; int3 & int4 -> int5: that that the roentgenogram does color but it is not evolutionary does not hold is not wrong.; int5 & sent9 -> int6: this is contradiction.; [assump1] & int6 -> int7: the breech is not cacodylic or it is not enzymatic or both.; int7 & sent6 -> int8: that the coatrack is not a kind of a Perilla is not false.;
the fact that the coatrack is both not a Perilla and not a promycelium is not true.
sent5 -> int9: if the fact that the synovium is a kind of a color and is not undulatory is not correct then it does not photograph.; sent7 -> int10: the synovium is not evolutionary.;
$hypothesis$ = the coatrack is not a Perilla and not a promycelium. ; $context$ = sent1: the fact that the pipeline is not cacodylic hold. sent2: if the fact that the synovium photographs is not false the roentgenogram is undulatory. sent3: if there is something such that the fact that either it is not cacodylic or it is not enzymatic or both is false then the synovium photographs. sent4: the coatrack is pyrogallic. sent5: if that something does color but it is not undulatory does not hold then it is not a photograph. sent6: if that the breech is non-cacodylic and/or it is not enzymatic is true then the coatrack is not a Perilla. sent7: everything is not evolutionary. sent8: the schizanthus is both not a photograph and not combustible. sent9: the roentgenogram colors but it is not evolutionary. sent10: that something is a color and is not evolutionary does not hold if it is undulatory. sent11: if the roentgenogram is a promycelium then that it is a color that is not pyrogallic is false. ; $proof$ = 
void -> assump1: Let's assume that that the breech is not cacodylic and/or it is not enzymatic is not true.; assump1 -> int1: there exists something such that the fact that it is not cacodylic or it is not enzymatic or both is incorrect.; int1 & sent3 -> int2: the synovium is a photograph.; int2 & sent2 -> int3: the roentgenogram is undulatory.; sent10 -> int4: if the roentgenogram is undulatory the fact that it is both color and non-evolutionary does not hold.; int3 & int4 -> int5: that that the roentgenogram does color but it is not evolutionary does not hold is not wrong.; int5 & sent9 -> int6: this is contradiction.; [assump1] & int6 -> int7: the breech is not cacodylic or it is not enzymatic or both.; int7 & sent6 -> int8: that the coatrack is not a kind of a Perilla is not false.; __UNKNOWN__