that if the squeegee is a blur the bend is a kind of a Hanoverian is not correct.
sent1: if the squeegee is a blur that it slumps is correct. sent2: something does not crop squeegee and does slump if it does blur. sent3: if the squeegee does not crop squeegee and is a kind of a slump then the bend is a Hanoverian.
sent2 -> int1: if the squeegee is a blur then it does not crop squeegee and it slumps.; void -> assump1: Let's assume that the squeegee is a blur.; int1 & assump1 -> int2: the squeegee does not crop squeegee but it slumps.; sent3 & int2 -> int3: the bend is a Hanoverian.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the squeegee is a blur the bend is a kind of a Hanoverian is not correct. ; $context$ = sent1: if the squeegee is a blur that it slumps is correct. sent2: something does not crop squeegee and does slump if it does blur. sent3: if the squeegee does not crop squeegee and is a kind of a slump then the bend is a Hanoverian. ; $proof$ = 
sent2 -> int1: if the squeegee is a blur then it does not crop squeegee and it slumps.; void -> assump1: Let's assume that the squeegee is a blur.; int1 & assump1 -> int2: the squeegee does not crop squeegee but it slumps.; sent3 & int2 -> int3: the bend is a Hanoverian.; [assump1] & int3 -> hypothesis; __DISPROVED__