the fact that there exists something such that if the fact that it does refute reprobation and does not flick polder is not true it is not a crush is false.
sent1: the aecium is not a crush if the fact that it refutes reprobation and it flicks polder is not correct. sent2: something is not a kind of a crush if the fact that it does refute reprobation and does not flick polder is not right. sent3: something that does refute reprobation and does not flick polder is not a crush. sent4: something is not aeromechanic if the fact that it is a fancy and is not proprietary does not hold. sent5: there is something such that if it flicks polder then it is not a kind of a crush.
sent2 -> int1: if that that the aecium refutes reprobation and does not flick polder does not hold is not false then it is not a crush.; int1 -> hypothesis;
there exists something such that if the fact that it is a kind of a fancy and is not proprietary is not correct then it is not aeromechanic.
sent4 -> int2: the Garland is not aeromechanic if the fact that it fancies and it is not proprietary does not hold.; int2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does refute reprobation and does not flick polder is not true it is not a crush is false. ; $context$ = sent1: the aecium is not a crush if the fact that it refutes reprobation and it flicks polder is not correct. sent2: something is not a kind of a crush if the fact that it does refute reprobation and does not flick polder is not right. sent3: something that does refute reprobation and does not flick polder is not a crush. sent4: something is not aeromechanic if the fact that it is a fancy and is not proprietary does not hold. sent5: there is something such that if it flicks polder then it is not a kind of a crush. ; $proof$ = 
sent2 -> int1: if that that the aecium refutes reprobation and does not flick polder does not hold is not false then it is not a crush.; int1 -> hypothesis; __DISPROVED__