if the tomatillo contorts Leakey then the directory is a whiz.
sent1: the directory does bedizen Embioptera if the tomatillo contorts Leakey.
void -> assump1: Let's assume that the tomatillo does contort Leakey.; sent1 & assump1 -> int1: the directory bedizens Embioptera.;
$hypothesis$ = if the tomatillo contorts Leakey then the directory is a whiz. ; $context$ = sent1: the directory does bedizen Embioptera if the tomatillo contorts Leakey. ; $proof$ = 
void -> assump1: Let's assume that the tomatillo does contort Leakey.; sent1 & assump1 -> int1: the directory bedizens Embioptera.; __UNKNOWN__