the moonlight does refocus.
sent1: if something is not agential then it is not accordant. sent2: the fact that the Chicano is a kind of agential thing that does not narrow pinchgut is incorrect if something does not snag. sent3: the lattice is not a Ecuadorian. sent4: the moonlight is not accordant and jiggles ninth if the Chicano is not accordant. sent5: if the Chicano is not accordant the moonlight is not accordant. sent6: if a accordant thing does jiggle ninth that it refocuses is not false. sent7: the Chicano does not refocus. sent8: the Chicano is not accordant if the fact that it is not agential is not wrong. sent9: the lattice is a kind of a Ecuadorian if it is a snag. sent10: something is not accordant if that it is agential and it does not narrow pinchgut is not right. sent11: there is something such that it is a kind of a snag.
void -> assump1: Let's assume that the lattice is a snag.; sent9 & assump1 -> int1: the lattice is Ecuadorian.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the lattice is not a kind of a snag hold.; int3 -> int4: something is not a snag.; int4 & sent2 -> int5: the fact that the fact that the Chicano is a kind of agential thing that does not narrow pinchgut is not wrong does not hold.; sent10 -> int6: if that the Chicano is a kind of agential thing that does not narrow pinchgut is incorrect then it is not accordant.; int5 & int6 -> int7: the Chicano is not accordant.; int7 & sent4 -> int8: the moonlight is not accordant but it jiggles ninth.;
$hypothesis$ = the moonlight does refocus. ; $context$ = sent1: if something is not agential then it is not accordant. sent2: the fact that the Chicano is a kind of agential thing that does not narrow pinchgut is incorrect if something does not snag. sent3: the lattice is not a Ecuadorian. sent4: the moonlight is not accordant and jiggles ninth if the Chicano is not accordant. sent5: if the Chicano is not accordant the moonlight is not accordant. sent6: if a accordant thing does jiggle ninth that it refocuses is not false. sent7: the Chicano does not refocus. sent8: the Chicano is not accordant if the fact that it is not agential is not wrong. sent9: the lattice is a kind of a Ecuadorian if it is a snag. sent10: something is not accordant if that it is agential and it does not narrow pinchgut is not right. sent11: there is something such that it is a kind of a snag. ; $proof$ = 
void -> assump1: Let's assume that the lattice is a snag.; sent9 & assump1 -> int1: the lattice is Ecuadorian.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the lattice is not a kind of a snag hold.; int3 -> int4: something is not a snag.; int4 & sent2 -> int5: the fact that the fact that the Chicano is a kind of agential thing that does not narrow pinchgut is not wrong does not hold.; sent10 -> int6: if that the Chicano is a kind of agential thing that does not narrow pinchgut is incorrect then it is not accordant.; int5 & int6 -> int7: the Chicano is not accordant.; int7 & sent4 -> int8: the moonlight is not accordant but it jiggles ninth.; __UNKNOWN__