the hitching forklift does not occur if the trebling Sequoiadendron does not occur.
sent1: the agency does not occur. sent2: the palpation does not occur if the inhibition does not occur. sent3: the holisticness happens if that the questioning happens hold. sent4: that the hitching forklift happens causes that the trebling Sequoiadendron occurs. sent5: that the counselorship does not occur is not incorrect.
void -> assump2: Let's assume that the hitching forklift occurs.; sent4 & assump2 -> int1: the trebling Sequoiadendron happens.; void -> assump1: Let's assume that the trebling Sequoiadendron does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hitching forklift does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the hitching forklift does not occur if the trebling Sequoiadendron does not occur. ; $context$ = sent1: the agency does not occur. sent2: the palpation does not occur if the inhibition does not occur. sent3: the holisticness happens if that the questioning happens hold. sent4: that the hitching forklift happens causes that the trebling Sequoiadendron occurs. sent5: that the counselorship does not occur is not incorrect. ; $proof$ = 
void -> assump2: Let's assume that the hitching forklift occurs.; sent4 & assump2 -> int1: the trebling Sequoiadendron happens.; void -> assump1: Let's assume that the trebling Sequoiadendron does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hitching forklift does not occur.; [assump1] & int3 -> hypothesis; __PROVED__