the fact that there exists something such that if it is a supply it is not a jurisprudence and is not discordant is not correct.
sent1: the defeatist is not a jurisprudence if it supplies. sent2: there is something such that if it is a supply then it is not a jurisprudence. sent3: there exists something such that if it does poultice defeatist then it does not patronage Colossian and does not multiply afghan. sent4: the defeatist is not a jurisprudence and it is not discordant if it is a kind of a supply.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a supply it is not a jurisprudence and is not discordant is not correct. ; $context$ = sent1: the defeatist is not a jurisprudence if it supplies. sent2: there is something such that if it is a supply then it is not a jurisprudence. sent3: there exists something such that if it does poultice defeatist then it does not patronage Colossian and does not multiply afghan. sent4: the defeatist is not a jurisprudence and it is not discordant if it is a kind of a supply. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__