the CF does not jam subsumption.
sent1: if there exists something such that that it represses is not incorrect the conductance either does represses or jams subsumption or both. sent2: something is a collegian if it is both not a panther and not non-natriuretic. sent3: the Depokene embrowns pop and jams penology if there is something such that it is not Laotian. sent4: that the conductance does not eventuate and is a Kreisler is not right if it is not unsexy. sent5: the fact that the chebab does not jam quickener and does modify is incorrect if the pop is armillary. sent6: the conductance is not unsexy. sent7: the carinate is not unsexy if there is something such that that it does not jam quickener and it modifies is wrong. sent8: if something that is a gleaner is not unsexy then it represses. sent9: the ball-buster is uncontroversial. sent10: if the pop is a collegian it is not non-armillary. sent11: the carinate is a kind of a gleaner if the Depokene embrowns pop. sent12: if the conductance represses the CF jams subsumption. sent13: the conductance does not eventuate and is not a kind of a Kreisler if the CF jams subsumption. sent14: the pop is not a kind of a panther but it is natriuretic. sent15: if the ball-buster is uncontroversial then it is not Laotian.
void -> assump1: Let's assume that the CF does jam subsumption.; sent13 & assump1 -> int1: the conductance does not eventuate and it is not a Kreisler.;
the fact that the CF jams subsumption is not incorrect.
sent8 -> int2: the carinate does repress if it is a gleaner and it is not unsexy.; sent15 & sent9 -> int3: the ball-buster is not Laotian.; int3 -> int4: there exists something such that that it is not Laotian is true.; int4 & sent3 -> int5: the Depokene embrowns pop and it does jam penology.; int5 -> int6: the Depokene does embrown pop.; sent11 & int6 -> int7: the fact that the carinate is a gleaner is right.; sent2 -> int8: the pop is a collegian if it is not a panther and it is natriuretic.; int8 & sent14 -> int9: the pop is a collegian.; sent10 & int9 -> int10: the fact that the pop is armillary is not wrong.; sent5 & int10 -> int11: the fact that the fact that the chebab does not jam quickener but it does modify is not incorrect is incorrect.; int11 -> int12: there is something such that that it does not jam quickener and modifies is not true.; int12 & sent7 -> int13: the carinate is sexy.; int7 & int13 -> int14: the carinate is a gleaner but it is not unsexy.; int2 & int14 -> int15: the carinate represses.; int15 -> int16: the fact that something does repress is not false.; int16 & sent1 -> int17: the conductance does repress and/or it does jam subsumption.;
$hypothesis$ = the CF does not jam subsumption. ; $context$ = sent1: if there exists something such that that it represses is not incorrect the conductance either does represses or jams subsumption or both. sent2: something is a collegian if it is both not a panther and not non-natriuretic. sent3: the Depokene embrowns pop and jams penology if there is something such that it is not Laotian. sent4: that the conductance does not eventuate and is a Kreisler is not right if it is not unsexy. sent5: the fact that the chebab does not jam quickener and does modify is incorrect if the pop is armillary. sent6: the conductance is not unsexy. sent7: the carinate is not unsexy if there is something such that that it does not jam quickener and it modifies is wrong. sent8: if something that is a gleaner is not unsexy then it represses. sent9: the ball-buster is uncontroversial. sent10: if the pop is a collegian it is not non-armillary. sent11: the carinate is a kind of a gleaner if the Depokene embrowns pop. sent12: if the conductance represses the CF jams subsumption. sent13: the conductance does not eventuate and is not a kind of a Kreisler if the CF jams subsumption. sent14: the pop is not a kind of a panther but it is natriuretic. sent15: if the ball-buster is uncontroversial then it is not Laotian. ; $proof$ = 
void -> assump1: Let's assume that the CF does jam subsumption.; sent13 & assump1 -> int1: the conductance does not eventuate and it is not a Kreisler.; __UNKNOWN__