the singer is healthy but not a civilian.
sent1: the fact that the dik-dik is not a balconied is not wrong if an aviary is not a fraternization. sent2: the cemetery is not healthy if the singer does not permit conception. sent3: the Primus is not a slaveholder and it is not a penitent. sent4: the singer is a postmistress. sent5: if a non-alienable thing is not an aviary it is not a balconied. sent6: there exists something such that it does not plead. sent7: that that the teller is an aviary and it is cupric hold is false if there is something such that it is a fraternization. sent8: something that is a kind of non-alienable thing that does not permit conception is not cupric. sent9: the fact that the cemetery is a kind of inalienable thing that does not permit conception is correct. sent10: the teller is not a kind of a fraternization. sent11: the teller is an aviary if the cemetery is not cupric. sent12: the cemetery is not a put. sent13: the singer is healthy and is not a civilian if the dik-dik is not a kind of a balconied. sent14: the singer is not a kind of a civilian. sent15: the dik-dik is not healthy if something that is a fraternization is not a kind of a balconied. sent16: the mesophyte is a fraternization but it is not an aviary if the teller is cupric. sent17: that something is healthy and not civilian is not correct if it is not a kind of an aviary. sent18: if something is alienable but it does not permit conception then it is not cupric. sent19: something is off-line.
sent8 -> int1: the cemetery is not cupric if it is not alienable and it does not permit conception.; int1 & sent9 -> int2: the cemetery is not cupric.; int2 & sent11 -> int3: the teller is an aviary.; int3 & sent10 -> int4: the teller is an aviary but it is not a fraternization.; int4 -> int5: something is a kind of an aviary but it is not a fraternization.; int5 & sent1 -> int6: the dik-dik is not a balconied.; int6 & sent13 -> hypothesis;
the mesophyte is a fraternization.
$hypothesis$ = the singer is healthy but not a civilian. ; $context$ = sent1: the fact that the dik-dik is not a balconied is not wrong if an aviary is not a fraternization. sent2: the cemetery is not healthy if the singer does not permit conception. sent3: the Primus is not a slaveholder and it is not a penitent. sent4: the singer is a postmistress. sent5: if a non-alienable thing is not an aviary it is not a balconied. sent6: there exists something such that it does not plead. sent7: that that the teller is an aviary and it is cupric hold is false if there is something such that it is a fraternization. sent8: something that is a kind of non-alienable thing that does not permit conception is not cupric. sent9: the fact that the cemetery is a kind of inalienable thing that does not permit conception is correct. sent10: the teller is not a kind of a fraternization. sent11: the teller is an aviary if the cemetery is not cupric. sent12: the cemetery is not a put. sent13: the singer is healthy and is not a civilian if the dik-dik is not a kind of a balconied. sent14: the singer is not a kind of a civilian. sent15: the dik-dik is not healthy if something that is a fraternization is not a kind of a balconied. sent16: the mesophyte is a fraternization but it is not an aviary if the teller is cupric. sent17: that something is healthy and not civilian is not correct if it is not a kind of an aviary. sent18: if something is alienable but it does not permit conception then it is not cupric. sent19: something is off-line. ; $proof$ = 
sent8 -> int1: the cemetery is not cupric if it is not alienable and it does not permit conception.; int1 & sent9 -> int2: the cemetery is not cupric.; int2 & sent11 -> int3: the teller is an aviary.; int3 & sent10 -> int4: the teller is an aviary but it is not a fraternization.; int4 -> int5: something is a kind of an aviary but it is not a fraternization.; int5 & sent1 -> int6: the dik-dik is not a balconied.; int6 & sent13 -> hypothesis; __PROVED__