the Orleanist is not quintessential but it is not non-calcific.
sent1: if the bratwurst is not quintessential then the Orleanist is not quintessential but it is calcific. sent2: something does subtract ecotourism and is a brewer if it is not genic. sent3: the Orleanist does cheat. sent4: the bratwurst does not snow selfishness but it is a kind of a brewer. sent5: the bratwurst is a jog if the barleycorn is genic. sent6: the fact that the Orleanist is a Pterodactylus does not hold. sent7: the bratwurst is not quintessential if it does snow selfishness. sent8: the Manila is a brewer. sent9: if the mesosphere is a bronchiole the bratwurst is a bronchiole. sent10: the barleycorn is genic if the Manila does subtract ecotourism. sent11: if something subtracts ecotourism and is a kind of a brewer then it is not calcific. sent12: if something that does jog does not unzip then the Manila is not genic. sent13: the bratwurst does snow selfishness if it is a bronchiole. sent14: the Orleanist is calcific if the bratwurst is not quintessential. sent15: the Orleanist is calcific. sent16: the Manila is not a jog. sent17: the bratwurst is not quintessential if it unzips or it does snow selfishness or both. sent18: the barleycorn jogs but it does not unzip if something snows selfishness. sent19: the mesosphere is a kind of a bronchiole and/or it is departmental. sent20: the bratwurst does unzip if it is a jog. sent21: the Manila is a kind of a brewer that subtracts ecotourism.
sent21 -> int1: the Manila subtracts ecotourism.; int1 & sent10 -> int2: the barleycorn is genic.; int2 & sent5 -> int3: that the bratwurst is a jog hold.; int3 & sent20 -> int4: the fact that the fact that the bratwurst does not unzip is incorrect is correct.; int4 -> int5: the fact that the bratwurst does unzip and/or it does snow selfishness is not false.; int5 & sent17 -> int6: the bratwurst is not quintessential.; int6 & sent1 -> hypothesis;
the fact that the Orleanist is not quintessential but it is calcific is incorrect.
sent11 -> int7: if the Manila subtracts ecotourism and it is a kind of a brewer then it is not calcific.; sent2 -> int8: the Manila does subtract ecotourism and it is a brewer if it is not genic.;
$hypothesis$ = the Orleanist is not quintessential but it is not non-calcific. ; $context$ = sent1: if the bratwurst is not quintessential then the Orleanist is not quintessential but it is calcific. sent2: something does subtract ecotourism and is a brewer if it is not genic. sent3: the Orleanist does cheat. sent4: the bratwurst does not snow selfishness but it is a kind of a brewer. sent5: the bratwurst is a jog if the barleycorn is genic. sent6: the fact that the Orleanist is a Pterodactylus does not hold. sent7: the bratwurst is not quintessential if it does snow selfishness. sent8: the Manila is a brewer. sent9: if the mesosphere is a bronchiole the bratwurst is a bronchiole. sent10: the barleycorn is genic if the Manila does subtract ecotourism. sent11: if something subtracts ecotourism and is a kind of a brewer then it is not calcific. sent12: if something that does jog does not unzip then the Manila is not genic. sent13: the bratwurst does snow selfishness if it is a bronchiole. sent14: the Orleanist is calcific if the bratwurst is not quintessential. sent15: the Orleanist is calcific. sent16: the Manila is not a jog. sent17: the bratwurst is not quintessential if it unzips or it does snow selfishness or both. sent18: the barleycorn jogs but it does not unzip if something snows selfishness. sent19: the mesosphere is a kind of a bronchiole and/or it is departmental. sent20: the bratwurst does unzip if it is a jog. sent21: the Manila is a kind of a brewer that subtracts ecotourism. ; $proof$ = 
sent21 -> int1: the Manila subtracts ecotourism.; int1 & sent10 -> int2: the barleycorn is genic.; int2 & sent5 -> int3: that the bratwurst is a jog hold.; int3 & sent20 -> int4: the fact that the fact that the bratwurst does not unzip is incorrect is correct.; int4 -> int5: the fact that the bratwurst does unzip and/or it does snow selfishness is not false.; int5 & sent17 -> int6: the bratwurst is not quintessential.; int6 & sent1 -> hypothesis; __PROVED__