the fact that there exists something such that if it clues overthrow then it is a kind of allomerous thing that does not clue diagram does not hold.
sent1: if the cornpone clues overthrow then it is allomerous. sent2: there exists something such that if it does clue overthrow it does not clue diagram. sent3: if something is an air it is a blender that is not a kind of a harshness. sent4: something that does clue overthrow is a kind of allomerous thing that does not clue diagram.
sent4 -> int1: if the cornpone does clue overthrow it is allomerous and it does not clue diagram.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it clues overthrow then it is a kind of allomerous thing that does not clue diagram does not hold. ; $context$ = sent1: if the cornpone clues overthrow then it is allomerous. sent2: there exists something such that if it does clue overthrow it does not clue diagram. sent3: if something is an air it is a blender that is not a kind of a harshness. sent4: something that does clue overthrow is a kind of allomerous thing that does not clue diagram. ; $proof$ = 
sent4 -> int1: if the cornpone does clue overthrow it is allomerous and it does not clue diagram.; int1 -> hypothesis; __DISPROVED__