there exists something such that it is a leaker or it is a cataleptic or both.
sent1: the acinus is a disunion. sent2: if the acinus is a kind of non-monoecious thing that is a kind of an inroad the barograph is a leaker. sent3: the acinus is essential. sent4: the tutsan is not essential and it does not outflank environmentalist. sent5: the barograph is monoecious. sent6: the barograph either is essential or is a leaker or both. sent7: the gasometer is a kind of a cortege. sent8: the acinus does copy and is essential. sent9: the barograph is a leaker if the acinus is a kind of non-monoecious thing that is not an inroad. sent10: the barograph is a kind of an inroad. sent11: the acinus is a kind of a plastique. sent12: if something does copy it is not monoecious and not an inroad. sent13: the barograph is a leaker if the acinus is monoecious thing that is not an inroad. sent14: something is not a kind of a WNW and does not outflank tutsan if it finishes leeward. sent15: the environmentalist is an inroad. sent16: the barograph does not outflank acinus and is causative. sent17: something is non-essential thing that is not a cataleptic if it is a leaker. sent18: the acinus copies if the barograph is not an inroad and it is not cataleptic. sent19: if something is a copying it is not a cataleptic and it is not a kind of a diethylstilbestrol. sent20: the barograph is undependable.
sent12 -> int1: if the acinus does copy then it is not monoecious and it is not an inroad.; sent8 -> int2: the acinus is a copying.; int1 & int2 -> int3: the acinus is not monoecious and it is not an inroad.; int3 & sent9 -> int4: the barograph is a leaker.; int4 -> int5: either the barograph is a leaker or it is a kind of a cataleptic or both.; int5 -> hypothesis;
the leatherette is not cataleptic and it is not a diethylstilbestrol.
sent19 -> int6: the leatherette is non-cataleptic and it is not a diethylstilbestrol if it is a copying.; sent16 -> int7: there exists something such that it does not outflank acinus and it is causative.;
$hypothesis$ = there exists something such that it is a leaker or it is a cataleptic or both. ; $context$ = sent1: the acinus is a disunion. sent2: if the acinus is a kind of non-monoecious thing that is a kind of an inroad the barograph is a leaker. sent3: the acinus is essential. sent4: the tutsan is not essential and it does not outflank environmentalist. sent5: the barograph is monoecious. sent6: the barograph either is essential or is a leaker or both. sent7: the gasometer is a kind of a cortege. sent8: the acinus does copy and is essential. sent9: the barograph is a leaker if the acinus is a kind of non-monoecious thing that is not an inroad. sent10: the barograph is a kind of an inroad. sent11: the acinus is a kind of a plastique. sent12: if something does copy it is not monoecious and not an inroad. sent13: the barograph is a leaker if the acinus is monoecious thing that is not an inroad. sent14: something is not a kind of a WNW and does not outflank tutsan if it finishes leeward. sent15: the environmentalist is an inroad. sent16: the barograph does not outflank acinus and is causative. sent17: something is non-essential thing that is not a cataleptic if it is a leaker. sent18: the acinus copies if the barograph is not an inroad and it is not cataleptic. sent19: if something is a copying it is not a cataleptic and it is not a kind of a diethylstilbestrol. sent20: the barograph is undependable. ; $proof$ = 
sent12 -> int1: if the acinus does copy then it is not monoecious and it is not an inroad.; sent8 -> int2: the acinus is a copying.; int1 & int2 -> int3: the acinus is not monoecious and it is not an inroad.; int3 & sent9 -> int4: the barograph is a leaker.; int4 -> int5: either the barograph is a leaker or it is a kind of a cataleptic or both.; int5 -> hypothesis; __PROVED__