that the prompter does damage delineation and is a colloquy is wrong.
sent1: if the type is a Angora the fact that the prompter is a colloquy and not a pericarp does not hold. sent2: The misquotation overruns kingsnake. sent3: the burgrave is a pericarp and does not damage usage. sent4: the fact that the prompter damages delineation is not false. sent5: the type is a Angora but it is not a pericarp if it is a kind of a colloquy. sent6: if the kingsnake overruns misquotation then the fact that the type is a Angora that is not a pericarp is not true. sent7: the prompter does damage delineation and is a colloquy if the type is not a colloquy. sent8: if the type is not a colloquy then the prompter does damage delineation. sent9: the kingsnake overruns misquotation. sent10: something is a Angora but it is not albinal if it is a colloquy. sent11: the prompter is not a pericarp. sent12: the kingsnake is a scavenger and is not a headline if it is not a kind of a lignite. sent13: if the type is a colloquy then it is a Angora.
void -> assump1: Let's assume that the type is a colloquy.; sent5 & assump1 -> int1: the type is a kind of a Angora but it is not a pericarp.; sent6 & sent9 -> int2: the fact that the type is a Angora but it is not a pericarp is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the type is not a colloquy.; int4 & sent7 -> hypothesis;
the fact that that the prompter does damage delineation and it is a colloquy is false is correct.
$hypothesis$ = that the prompter does damage delineation and is a colloquy is wrong. ; $context$ = sent1: if the type is a Angora the fact that the prompter is a colloquy and not a pericarp does not hold. sent2: The misquotation overruns kingsnake. sent3: the burgrave is a pericarp and does not damage usage. sent4: the fact that the prompter damages delineation is not false. sent5: the type is a Angora but it is not a pericarp if it is a kind of a colloquy. sent6: if the kingsnake overruns misquotation then the fact that the type is a Angora that is not a pericarp is not true. sent7: the prompter does damage delineation and is a colloquy if the type is not a colloquy. sent8: if the type is not a colloquy then the prompter does damage delineation. sent9: the kingsnake overruns misquotation. sent10: something is a Angora but it is not albinal if it is a colloquy. sent11: the prompter is not a pericarp. sent12: the kingsnake is a scavenger and is not a headline if it is not a kind of a lignite. sent13: if the type is a colloquy then it is a Angora. ; $proof$ = 
void -> assump1: Let's assume that the type is a colloquy.; sent5 & assump1 -> int1: the type is a kind of a Angora but it is not a pericarp.; sent6 & sent9 -> int2: the fact that the type is a Angora but it is not a pericarp is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the type is not a colloquy.; int4 & sent7 -> hypothesis; __DISPROVED__