that the abutment is benzylic but it is not supraorbital is incorrect if the fact that the fact that the sudatorium does raven concealment is not correct is true.
sent1: the fact that the fact that the abutment is benzylic and it is supraorbital is wrong hold if the concealment is benzylic. sent2: that the abutment is benzylic and supraorbital is false if the concealment does not raven concealment. sent3: if the concealment is supraorbital then the fact that the abutment is a kind of supraorbital thing that is not benzylic is not true. sent4: the concealment is benzylic if the sudatorium does not raven concealment. sent5: if that the abutment is not benzylic is not wrong then the sudatorium is supraorbital but it does not raven concealment.
void -> assump1: Let's assume that the sudatorium does not raven concealment.; sent4 & assump1 -> int1: that the concealment is benzylic hold.;
$hypothesis$ = that the abutment is benzylic but it is not supraorbital is incorrect if the fact that the fact that the sudatorium does raven concealment is not correct is true. ; $context$ = sent1: the fact that the fact that the abutment is benzylic and it is supraorbital is wrong hold if the concealment is benzylic. sent2: that the abutment is benzylic and supraorbital is false if the concealment does not raven concealment. sent3: if the concealment is supraorbital then the fact that the abutment is a kind of supraorbital thing that is not benzylic is not true. sent4: the concealment is benzylic if the sudatorium does not raven concealment. sent5: if that the abutment is not benzylic is not wrong then the sudatorium is supraorbital but it does not raven concealment. ; $proof$ = 
void -> assump1: Let's assume that the sudatorium does not raven concealment.; sent4 & assump1 -> int1: that the concealment is benzylic hold.; __UNKNOWN__