the Sheraton does criticize appellant and/or it is not unseasonable.
sent1: either the Sheraton does finalize exhumation or it does not criticize Drosophyllum or both. sent2: the fact that the wren is not locomotive or a bovine or both is wrong. sent3: the wren does not finalize exhumation if the fact that the Fugo does criticize Drosophyllum and is Portuguese is false. sent4: that the fact that the Fugo criticizes Drosophyllum and is a Portuguese does not hold hold if the Sheraton is not Portuguese. sent5: if something is not amniotic the fact that it does criticize appellant or it is not unseasonable or both is not correct. sent6: if the fact that the Sheraton does not criticize Drosophyllum or it is a Portuguese or both is false the wren does criticize appellant. sent7: the Sheraton is unseasonable. sent8: if the Sheraton does not criticize Drosophyllum then that the wren is amniotic and it does criticize Drosophyllum is incorrect. sent9: the Fugo does not finalize exhumation. sent10: the Sheraton does not criticize Drosophyllum if that either it does criticize appellant or it is not unseasonable or both does not hold. sent11: if that that the Fugo is not a Portuguese and/or it does finalize exhumation is wrong is not incorrect then the meterstick is a moated. sent12: if that the wren is amniotic and it criticizes Drosophyllum is wrong then the meterstick is not a kind of a moated. sent13: if that the fact that the Sheraton does criticize appellant and/or it is unseasonable is right is incorrect it does not criticize Drosophyllum. sent14: the underwriter does not criticize Drosophyllum. sent15: the meterstick is not a moated if the wren does not criticize Drosophyllum. sent16: the Sheraton either criticizes appellant or is unseasonable or both.
void -> assump1: Let's assume that the fact that that either the Sheraton does criticize appellant or it is not unseasonable or both does not hold is not false.; sent10 & assump1 -> int1: the Sheraton does not criticize Drosophyllum.; int1 & sent8 -> int2: the fact that the wren is amniotic thing that criticizes Drosophyllum is not correct.; int2 & sent12 -> int3: the meterstick is not a moated.;
that the Sheraton criticizes appellant and/or it is not unseasonable is not right.
sent5 -> int4: if that the Sheraton is not amniotic hold that it criticizes appellant and/or it is seasonable is wrong.;
$hypothesis$ = the Sheraton does criticize appellant and/or it is not unseasonable. ; $context$ = sent1: either the Sheraton does finalize exhumation or it does not criticize Drosophyllum or both. sent2: the fact that the wren is not locomotive or a bovine or both is wrong. sent3: the wren does not finalize exhumation if the fact that the Fugo does criticize Drosophyllum and is Portuguese is false. sent4: that the fact that the Fugo criticizes Drosophyllum and is a Portuguese does not hold hold if the Sheraton is not Portuguese. sent5: if something is not amniotic the fact that it does criticize appellant or it is not unseasonable or both is not correct. sent6: if the fact that the Sheraton does not criticize Drosophyllum or it is a Portuguese or both is false the wren does criticize appellant. sent7: the Sheraton is unseasonable. sent8: if the Sheraton does not criticize Drosophyllum then that the wren is amniotic and it does criticize Drosophyllum is incorrect. sent9: the Fugo does not finalize exhumation. sent10: the Sheraton does not criticize Drosophyllum if that either it does criticize appellant or it is not unseasonable or both does not hold. sent11: if that that the Fugo is not a Portuguese and/or it does finalize exhumation is wrong is not incorrect then the meterstick is a moated. sent12: if that the wren is amniotic and it criticizes Drosophyllum is wrong then the meterstick is not a kind of a moated. sent13: if that the fact that the Sheraton does criticize appellant and/or it is unseasonable is right is incorrect it does not criticize Drosophyllum. sent14: the underwriter does not criticize Drosophyllum. sent15: the meterstick is not a moated if the wren does not criticize Drosophyllum. sent16: the Sheraton either criticizes appellant or is unseasonable or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that that either the Sheraton does criticize appellant or it is not unseasonable or both does not hold is not false.; sent10 & assump1 -> int1: the Sheraton does not criticize Drosophyllum.; int1 & sent8 -> int2: the fact that the wren is amniotic thing that criticizes Drosophyllum is not correct.; int2 & sent12 -> int3: the meterstick is not a moated.; __UNKNOWN__