the fact that the boxthorn does not gather agnate is not wrong.
sent1: the arthropod is an entree that does not sicken astraphobia. sent2: there exists something such that that it is a kind of able thing that sickens astraphobia is incorrect. sent3: the roadman is not an entree if the arthropod is able but it does not sicken astraphobia. sent4: the roadman is not an entree if the arthropod is able and it sickens astraphobia. sent5: if something is not a pendragon then it is not a lid. sent6: the boxthorn is occupational and is not a lissomeness if the flyspeck is a pensioner. sent7: the roadman is a kind of a chalet and it gathers shroud if there is something such that it is not sexagesimal. sent8: if the flyspeck does not suborn coefficient then it is a pensioner and an adoption. sent9: the fact that the arthropod is able and it does sicken astraphobia is not right. sent10: the roadman gathers agnate. sent11: if something is a chalet but it is not a windburned then the arthropod is not a pendragon. sent12: everything is an entree. sent13: if something is not an entree that it is ultimate thing that does not gather agnate is wrong. sent14: the flyspeck does not suborn coefficient. sent15: that something does not gather agnate and it is not a kind of an ultimate if it is not a kind of a lid hold. sent16: if the boxthorn is occupational thing that is not a lissomeness the roadman is not a windburned. sent17: if there exists something such that the fact that it is a kind of able thing that does not sicken astraphobia is not correct then the boxthorn does not gather agnate. sent18: if the fact that the arthropod does not gather agnate is correct then the amyloid is an entree and not a skinny. sent19: the chicle is a real. sent20: something is able but it does not sicken astraphobia. sent21: if there exists something such that it does sicken astraphobia the boxthorn does not gather agnate. sent22: a real is not sexagesimal.
void -> assump1: Let's assume that the arthropod is able but it does not sicken astraphobia.; sent3 & assump1 -> int1: the roadman is not an entree.; sent12 -> int2: the roadman is an entree.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the arthropod is able and does not sicken astraphobia does not hold.; int4 -> int5: there is something such that that it is able and it does not sicken astraphobia is not true.; int5 & sent17 -> hypothesis;
the boxthorn does gather agnate.
sent13 -> int6: if that the boxthorn is an entree is not right that the fact that it is ultimate and it does not gather agnate is true does not hold.;
$hypothesis$ = the fact that the boxthorn does not gather agnate is not wrong. ; $context$ = sent1: the arthropod is an entree that does not sicken astraphobia. sent2: there exists something such that that it is a kind of able thing that sickens astraphobia is incorrect. sent3: the roadman is not an entree if the arthropod is able but it does not sicken astraphobia. sent4: the roadman is not an entree if the arthropod is able and it sickens astraphobia. sent5: if something is not a pendragon then it is not a lid. sent6: the boxthorn is occupational and is not a lissomeness if the flyspeck is a pensioner. sent7: the roadman is a kind of a chalet and it gathers shroud if there is something such that it is not sexagesimal. sent8: if the flyspeck does not suborn coefficient then it is a pensioner and an adoption. sent9: the fact that the arthropod is able and it does sicken astraphobia is not right. sent10: the roadman gathers agnate. sent11: if something is a chalet but it is not a windburned then the arthropod is not a pendragon. sent12: everything is an entree. sent13: if something is not an entree that it is ultimate thing that does not gather agnate is wrong. sent14: the flyspeck does not suborn coefficient. sent15: that something does not gather agnate and it is not a kind of an ultimate if it is not a kind of a lid hold. sent16: if the boxthorn is occupational thing that is not a lissomeness the roadman is not a windburned. sent17: if there exists something such that the fact that it is a kind of able thing that does not sicken astraphobia is not correct then the boxthorn does not gather agnate. sent18: if the fact that the arthropod does not gather agnate is correct then the amyloid is an entree and not a skinny. sent19: the chicle is a real. sent20: something is able but it does not sicken astraphobia. sent21: if there exists something such that it does sicken astraphobia the boxthorn does not gather agnate. sent22: a real is not sexagesimal. ; $proof$ = 
void -> assump1: Let's assume that the arthropod is able but it does not sicken astraphobia.; sent3 & assump1 -> int1: the roadman is not an entree.; sent12 -> int2: the roadman is an entree.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the arthropod is able and does not sicken astraphobia does not hold.; int4 -> int5: there is something such that that it is able and it does not sicken astraphobia is not true.; int5 & sent17 -> hypothesis; __PROVED__