that there exists something such that if it citifies bonavist and it is not an indicative it does crispen is false.
sent1: there exists something such that if it is basidiomycetous and it is forceless it is a Mallotus. sent2: if the camper does citify bonavist but it is not an indicative it crispens.
sent2 -> hypothesis;
$hypothesis$ = that there exists something such that if it citifies bonavist and it is not an indicative it does crispen is false. ; $context$ = sent1: there exists something such that if it is basidiomycetous and it is forceless it is a Mallotus. sent2: if the camper does citify bonavist but it is not an indicative it crispens. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__