the impressionist is not bottom.
sent1: the boutique is bottom. sent2: the impressionist does not extricate clerihew and does skid Ophiodontidae. sent3: the impressionist is not a Hindemith but it does extricate Ophiodontidae. sent4: there is something such that it does not roughen grazier. sent5: the impressionist does not roughen laureate and is a Creon. sent6: the impressionist is a Creon. sent7: if a non-uncleared thing is a corkboard then it is a Creon. sent8: something is a corkboard if it is not uncleared and it does bottom. sent9: the blackbody is not uncleared. sent10: the impressionist is not uncleared. sent11: if something that is a Creon is tetanic then it is not a corkboard.
void -> assump1: Let's assume that the impressionist is a bottom.; sent10 & assump1 -> int1: the impressionist is not uncleared but it is bottom.; sent8 -> int2: if the impressionist is a kind of cleared thing that is a kind of a bottom then the fact that it is a corkboard is correct.; int1 & int2 -> int3: the impressionist is a kind of a corkboard.;
the collards is a bottom.
sent11 -> int4: if the collards is a Creon and it is tetanic then it is not a corkboard.;
$hypothesis$ = the impressionist is not bottom. ; $context$ = sent1: the boutique is bottom. sent2: the impressionist does not extricate clerihew and does skid Ophiodontidae. sent3: the impressionist is not a Hindemith but it does extricate Ophiodontidae. sent4: there is something such that it does not roughen grazier. sent5: the impressionist does not roughen laureate and is a Creon. sent6: the impressionist is a Creon. sent7: if a non-uncleared thing is a corkboard then it is a Creon. sent8: something is a corkboard if it is not uncleared and it does bottom. sent9: the blackbody is not uncleared. sent10: the impressionist is not uncleared. sent11: if something that is a Creon is tetanic then it is not a corkboard. ; $proof$ = 
void -> assump1: Let's assume that the impressionist is a bottom.; sent10 & assump1 -> int1: the impressionist is not uncleared but it is bottom.; sent8 -> int2: if the impressionist is a kind of cleared thing that is a kind of a bottom then the fact that it is a corkboard is correct.; int1 & int2 -> int3: the impressionist is a kind of a corkboard.; __UNKNOWN__