the automation is not a paleocerebellum.
sent1: the ecstasy outs. sent2: the automation is a Greenwich. sent3: if the automation is a kind of a setterwort the launcher does headquarter Dietrich. sent4: the launcher is a paleocerebellum if the automation headquarters Dietrich. sent5: the automation does not outgeneral verb. sent6: something is a kind of a paleocerebellum if it is a setterwort. sent7: the biologist is a kind of a carvedilol if the fact that it does not dilate and it does not outgeneral neutralist is incorrect. sent8: if that the launcher is a paleocerebellum is not wrong that the automation outgenerals neutralist is right. sent9: the automation does headquarter Dietrich if it does out. sent10: if something that does not dilate does outgeneral neutralist it is a setterwort. sent11: the fact that the biologist does not dilate and it does not outgeneral neutralist is not correct if the launcher outgeneral neutralist. sent12: if something is a carvedilol then it does not dilate and does outgeneral neutralist. sent13: the automation is not a paleocerebellum if it headquarters Dietrich and it is a Greenwich. sent14: something is a carvedilol if it is not a kind of an out. sent15: the launcher is a setterwort and it does outgeneral neutralist. sent16: that the launcher is a setterwort is true if it is a Greenwich. sent17: if the biologist is a carvedilol then the automation does out.
sent15 -> int1: that the launcher outgenerals neutralist is true.; int1 & sent11 -> int2: that the biologist does not dilate and it does not outgeneral neutralist is wrong.; int2 & sent7 -> int3: the biologist is a carvedilol.; int3 & sent17 -> int4: the automation is an out.; int4 & sent9 -> int5: the automation does headquarter Dietrich.; int5 & sent2 -> int6: the automation does headquarter Dietrich and is a Greenwich.; int6 & sent13 -> hypothesis;
the automation is a paleocerebellum.
sent6 -> int7: if the automation is a setterwort then it is a paleocerebellum.;
$hypothesis$ = the automation is not a paleocerebellum. ; $context$ = sent1: the ecstasy outs. sent2: the automation is a Greenwich. sent3: if the automation is a kind of a setterwort the launcher does headquarter Dietrich. sent4: the launcher is a paleocerebellum if the automation headquarters Dietrich. sent5: the automation does not outgeneral verb. sent6: something is a kind of a paleocerebellum if it is a setterwort. sent7: the biologist is a kind of a carvedilol if the fact that it does not dilate and it does not outgeneral neutralist is incorrect. sent8: if that the launcher is a paleocerebellum is not wrong that the automation outgenerals neutralist is right. sent9: the automation does headquarter Dietrich if it does out. sent10: if something that does not dilate does outgeneral neutralist it is a setterwort. sent11: the fact that the biologist does not dilate and it does not outgeneral neutralist is not correct if the launcher outgeneral neutralist. sent12: if something is a carvedilol then it does not dilate and does outgeneral neutralist. sent13: the automation is not a paleocerebellum if it headquarters Dietrich and it is a Greenwich. sent14: something is a carvedilol if it is not a kind of an out. sent15: the launcher is a setterwort and it does outgeneral neutralist. sent16: that the launcher is a setterwort is true if it is a Greenwich. sent17: if the biologist is a carvedilol then the automation does out. ; $proof$ = 
sent15 -> int1: that the launcher outgenerals neutralist is true.; int1 & sent11 -> int2: that the biologist does not dilate and it does not outgeneral neutralist is wrong.; int2 & sent7 -> int3: the biologist is a carvedilol.; int3 & sent17 -> int4: the automation is an out.; int4 & sent9 -> int5: the automation does headquarter Dietrich.; int5 & sent2 -> int6: the automation does headquarter Dietrich and is a Greenwich.; int6 & sent13 -> hypothesis; __PROVED__