that that the zoolatry occurs but the preparing does not occur is wrong if the gastricness happens does not hold.
sent1: if that the zoolatry happens hold the gastricness does not occur.
void -> assump2: Let's assume that the zoolatry but not the preparing occurs.; assump2 -> int1: the zoolatry happens.; int1 & sent1 -> int2: the gastricness does not occur.; void -> assump1: Let's assume that the gastricness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the zoolatry but not the preparing occurs is wrong.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that that the zoolatry occurs but the preparing does not occur is wrong if the gastricness happens does not hold. ; $context$ = sent1: if that the zoolatry happens hold the gastricness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the zoolatry but not the preparing occurs.; assump2 -> int1: the zoolatry happens.; int1 & sent1 -> int2: the gastricness does not occur.; void -> assump1: Let's assume that the gastricness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the zoolatry but not the preparing occurs is wrong.; [assump1] & int4 -> hypothesis; __DISPROVED__