the fact that if the refreshment enfeoffs hematology the shillelagh is not a arete but numerical is right.
sent1: the refreshment is not a hoop and it does not enfeoff anoa if the beechnut enfeoffs hematology. sent2: the fact that the refreshment is a kind of numerical thing that does enfeoff hematology hold. sent3: the refreshment does enfeoff anoa. sent4: if the beechnut does not enfeoff anoa and it is not a hoop the anoa is not a Lome. sent5: the shillelagh is numerical. sent6: the anoa is not a kind of a Lome if the beechnut enfeoffs anoa and does not hoop. sent7: the beechnut is not a Lome and does not enfeoff anoa if the anoa is a kind of a hoop. sent8: the shillelagh is not a Lome if the fact that the anoa is a kind of a arete is not wrong. sent9: if the refreshment does enfeoff hematology then the beechnut does not enfeoff anoa and is not a hoop. sent10: the shillelagh is numerical if the anoa is not a Lome. sent11: the anoa is not a arete and it is not numerical if the shillelagh is a Lome. sent12: the fact that if the shillelagh is not a kind of a Lome and it is not numerical then the anoa does not enfeoff anoa is true. sent13: if the anoa does not enfeoff anoa the beechnut does hoop and it is a Lome. sent14: if the beechnut does not enfeoff anoa but it does hoop the anoa is not a Lome. sent15: if the refreshment enfeoffs hematology the shillelagh is numerical. sent16: the shillelagh is not a kind of a arete but it is numerical if the anoa is not a Lome. sent17: the fact that the shillelagh does enfeoff anoa and it is numerical if the refreshment does not enfeoff hematology hold. sent18: the refreshment is not a hoop if the beechnut is a kind of a arete and does not enfeoff hematology.
void -> assump1: Let's assume that the refreshment enfeoffs hematology.; sent9 & assump1 -> int1: the beechnut does not enfeoff anoa and it is not a hoop.; sent4 & int1 -> int2: the anoa is not a Lome.; sent16 & int2 -> int3: the shillelagh is not a kind of a arete but it is numerical.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the refreshment enfeoffs hematology the shillelagh is not a arete but numerical is right. ; $context$ = sent1: the refreshment is not a hoop and it does not enfeoff anoa if the beechnut enfeoffs hematology. sent2: the fact that the refreshment is a kind of numerical thing that does enfeoff hematology hold. sent3: the refreshment does enfeoff anoa. sent4: if the beechnut does not enfeoff anoa and it is not a hoop the anoa is not a Lome. sent5: the shillelagh is numerical. sent6: the anoa is not a kind of a Lome if the beechnut enfeoffs anoa and does not hoop. sent7: the beechnut is not a Lome and does not enfeoff anoa if the anoa is a kind of a hoop. sent8: the shillelagh is not a Lome if the fact that the anoa is a kind of a arete is not wrong. sent9: if the refreshment does enfeoff hematology then the beechnut does not enfeoff anoa and is not a hoop. sent10: the shillelagh is numerical if the anoa is not a Lome. sent11: the anoa is not a arete and it is not numerical if the shillelagh is a Lome. sent12: the fact that if the shillelagh is not a kind of a Lome and it is not numerical then the anoa does not enfeoff anoa is true. sent13: if the anoa does not enfeoff anoa the beechnut does hoop and it is a Lome. sent14: if the beechnut does not enfeoff anoa but it does hoop the anoa is not a Lome. sent15: if the refreshment enfeoffs hematology the shillelagh is numerical. sent16: the shillelagh is not a kind of a arete but it is numerical if the anoa is not a Lome. sent17: the fact that the shillelagh does enfeoff anoa and it is numerical if the refreshment does not enfeoff hematology hold. sent18: the refreshment is not a hoop if the beechnut is a kind of a arete and does not enfeoff hematology. ; $proof$ = 
void -> assump1: Let's assume that the refreshment enfeoffs hematology.; sent9 & assump1 -> int1: the beechnut does not enfeoff anoa and it is not a hoop.; sent4 & int1 -> int2: the anoa is not a Lome.; sent16 & int2 -> int3: the shillelagh is not a kind of a arete but it is numerical.; [assump1] & int3 -> hypothesis; __PROVED__