the firecracker does not restore.
sent1: that the firecracker does not restore hold if the fact that the reagin does not cock and is a kind of an impressionist is not correct. sent2: the fact that the chrism is not an adjunct but it is not noninheritable is not right. sent3: if the buttress corners lamp then the Mays is impressionist. sent4: something does corner lamp if that it is a DPH is true. sent5: that the chrism is an adjunct and is not inheritable does not hold if it is a kind of a Neoceratodus. sent6: the chrism is a Neoceratodus. sent7: the fact that something is an adjunct and is not inheritable is incorrect if it is a kind of a Neoceratodus. sent8: that the chrism is an adjunct but it is not inheritable is wrong. sent9: the buttress is a DPH but it is not a Neoceratodus if something corners lamp. sent10: that something is not a kind of an adjunct but it is inheritable is not correct if it is a kind of a Neoceratodus. sent11: if something is a Neoceratodus it does weed troponymy. sent12: the fact that the reagin is not a cock and is an impressionist is not correct if the Mays is a kind of an impressionist. sent13: if the reagin is not an impressionist then the fact that the firecracker does not restore is right. sent14: the fact that the buttress is a DPH is not incorrect if that the chrism is not an adjunct and is noninheritable does not hold. sent15: the homeless weeds troponymy if the buttress does weeds troponymy. sent16: that the chrism is both not an adjunct and inheritable is wrong if it is a kind of a Neoceratodus.
sent4 -> int1: if the buttress is a kind of a DPH it does corner lamp.;
the firecracker restores.
$hypothesis$ = the firecracker does not restore. ; $context$ = sent1: that the firecracker does not restore hold if the fact that the reagin does not cock and is a kind of an impressionist is not correct. sent2: the fact that the chrism is not an adjunct but it is not noninheritable is not right. sent3: if the buttress corners lamp then the Mays is impressionist. sent4: something does corner lamp if that it is a DPH is true. sent5: that the chrism is an adjunct and is not inheritable does not hold if it is a kind of a Neoceratodus. sent6: the chrism is a Neoceratodus. sent7: the fact that something is an adjunct and is not inheritable is incorrect if it is a kind of a Neoceratodus. sent8: that the chrism is an adjunct but it is not inheritable is wrong. sent9: the buttress is a DPH but it is not a Neoceratodus if something corners lamp. sent10: that something is not a kind of an adjunct but it is inheritable is not correct if it is a kind of a Neoceratodus. sent11: if something is a Neoceratodus it does weed troponymy. sent12: the fact that the reagin is not a cock and is an impressionist is not correct if the Mays is a kind of an impressionist. sent13: if the reagin is not an impressionist then the fact that the firecracker does not restore is right. sent14: the fact that the buttress is a DPH is not incorrect if that the chrism is not an adjunct and is noninheritable does not hold. sent15: the homeless weeds troponymy if the buttress does weeds troponymy. sent16: that the chrism is both not an adjunct and inheritable is wrong if it is a kind of a Neoceratodus. ; $proof$ = 
sent4 -> int1: if the buttress is a kind of a DPH it does corner lamp.; __UNKNOWN__