if the cloakroom is a kind of a vocation then that the hummus is not a cephaloridine is not wrong.
sent1: the fact that the hummus is not a vocation is right. sent2: the cloakroom is not a vocation if the hummus is a cephaloridine. sent3: the fact that the huitre is a kind of a vocation is right. sent4: if the hummus is a cephaloridine then the cloakroom is a vocation. sent5: the cloakroom is not hot. sent6: if the cloakroom is a vocation the hummus is a cephaloridine. sent7: the cloakroom is not a cephaloridine.
void -> assump2: Let's assume that the hummus is a cephaloridine.; sent2 & assump2 -> int1: the cloakroom is not a vocation.; void -> assump1: Let's assume that the cloakroom is a kind of a vocation.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hummus is not a kind of a cephaloridine.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the cloakroom is a kind of a vocation then that the hummus is not a cephaloridine is not wrong. ; $context$ = sent1: the fact that the hummus is not a vocation is right. sent2: the cloakroom is not a vocation if the hummus is a cephaloridine. sent3: the fact that the huitre is a kind of a vocation is right. sent4: if the hummus is a cephaloridine then the cloakroom is a vocation. sent5: the cloakroom is not hot. sent6: if the cloakroom is a vocation the hummus is a cephaloridine. sent7: the cloakroom is not a cephaloridine. ; $proof$ = 
void -> assump2: Let's assume that the hummus is a cephaloridine.; sent2 & assump2 -> int1: the cloakroom is not a vocation.; void -> assump1: Let's assume that the cloakroom is a kind of a vocation.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hummus is not a kind of a cephaloridine.; [assump1] & int3 -> hypothesis; __PROVED__