the fact that the confection does not prey ceratodus is correct.
sent1: the fact that the fact that the confection is a kind of the emissary is true if the confection does prey ceratodus hold. sent2: the confection is not an emissary.
void -> assump1: Let's assume that the confection preys ceratodus.; sent1 & assump1 -> int1: the confection is an emissary.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the confection does not prey ceratodus is correct. ; $context$ = sent1: the fact that the fact that the confection is a kind of the emissary is true if the confection does prey ceratodus hold. sent2: the confection is not an emissary. ; $proof$ = 
void -> assump1: Let's assume that the confection preys ceratodus.; sent1 & assump1 -> int1: the confection is an emissary.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__