the compilation does not occur if the hugging shirtmaker and the concoction occurs.
sent1: the compilation does not occur if the snuffling Horace does not occur. sent2: the snuffling Horace does not occur if the deictic occurs.
void -> assump1: Let's assume that the hugging shirtmaker and the concoction occurs.; assump1 -> int1: the hugging shirtmaker happens.; int1 -> int2: either the hugging shirtmaker happens or the deicticness occurs or both.;
$hypothesis$ = the compilation does not occur if the hugging shirtmaker and the concoction occurs. ; $context$ = sent1: the compilation does not occur if the snuffling Horace does not occur. sent2: the snuffling Horace does not occur if the deictic occurs. ; $proof$ = 
void -> assump1: Let's assume that the hugging shirtmaker and the concoction occurs.; assump1 -> int1: the hugging shirtmaker happens.; int1 -> int2: either the hugging shirtmaker happens or the deicticness occurs or both.; __UNKNOWN__