the bodywork is non-awful thing that is not a solan.
sent1: the volunteer is a referee. sent2: there is something such that it is a joust. sent3: the volunteer is a kind of a joust if it is an electric. sent4: there is something such that it is a kind of a referee. sent5: that the suppressant is gastric is right. sent6: the bodywork is astomatous if the suppressant is not a downhill and is gastric. sent7: if the bodywork is astomatous then it is not awful. sent8: there are extrospective things. sent9: the streamer is a kind of a wag. sent10: if the bodywork is astomatous it is a kind of non-awful thing that is not a solan. sent11: the fact that the bodywork is not awful and it is not a solan does not hold if the streamer is not a wag. sent12: if the streamer is a kind of a wag the volunteer is electric. sent13: if the volunteer does not wag then the streamer is both not a electronegativity and not gastric. sent14: the bodywork is not awful.
sent12 & sent9 -> int1: the volunteer is electric.; int1 & sent3 -> int2: the volunteer does joust.; int2 & sent1 -> int3: the volunteer is a joust and a referee.; int3 -> int4: there is something such that it is a joust and referees.;
the streamer is not a electronegativity and it is not gastric.
$hypothesis$ = the bodywork is non-awful thing that is not a solan. ; $context$ = sent1: the volunteer is a referee. sent2: there is something such that it is a joust. sent3: the volunteer is a kind of a joust if it is an electric. sent4: there is something such that it is a kind of a referee. sent5: that the suppressant is gastric is right. sent6: the bodywork is astomatous if the suppressant is not a downhill and is gastric. sent7: if the bodywork is astomatous then it is not awful. sent8: there are extrospective things. sent9: the streamer is a kind of a wag. sent10: if the bodywork is astomatous it is a kind of non-awful thing that is not a solan. sent11: the fact that the bodywork is not awful and it is not a solan does not hold if the streamer is not a wag. sent12: if the streamer is a kind of a wag the volunteer is electric. sent13: if the volunteer does not wag then the streamer is both not a electronegativity and not gastric. sent14: the bodywork is not awful. ; $proof$ = 
sent12 & sent9 -> int1: the volunteer is electric.; int1 & sent3 -> int2: the volunteer does joust.; int2 & sent1 -> int3: the volunteer is a joust and a referee.; int3 -> int4: there is something such that it is a joust and referees.; __UNKNOWN__