the flood does not surprise refusal.
sent1: the flood blasphemes monocyte. sent2: there exists something such that it does not appoint. sent3: the flood does surprise refusal and does blaspheme monocyte if there exists something such that it does not appoint.
sent2 & sent3 -> int1: the flood surprises refusal and blasphemes monocyte.; int1 -> hypothesis;
$hypothesis$ = the flood does not surprise refusal. ; $context$ = sent1: the flood blasphemes monocyte. sent2: there exists something such that it does not appoint. sent3: the flood does surprise refusal and does blaspheme monocyte if there exists something such that it does not appoint. ; $proof$ = 
sent2 & sent3 -> int1: the flood surprises refusal and blasphemes monocyte.; int1 -> hypothesis; __DISPROVED__