the cheesemonger is a kind of a positive.
sent1: either the Pound narrows accelerometer or it is an ark or both. sent2: if the Monitor is not precocial then the cheesemonger is a ginseng and it does narrow accelerometer. sent3: if the Pound is a kind of non-diaphoretic thing that does narrow accelerometer then it is positive. sent4: something is both a knee and an ark. sent5: the concierge is not a kind of a microbe and it is not awake. sent6: if the cheesemonger is both not an ark and a diaphoretic it is a positive. sent7: if the Pound is a kind of an ark the Monitor is a kind of an ark. sent8: there exists something such that it is an ark. sent9: the cheesemonger is not positive if there is something such that it dims and it is an ark. sent10: the cheesemonger does not narrow accelerometer if there exists something such that it is a kind of a positive that is a diaphoretic. sent11: the Monitor is an ark if the Pound narrows accelerometer. sent12: if the Pound is not an ark but it is a positive then it is a knee. sent13: if that something is not an ark and is dim is not right it is a positive. sent14: if something does not dim it jiggles fiddleneck and is an ark. sent15: the Monitor does dim if the fact that it is not a knee and it is not diaphoretic is not false. sent16: the fact that the Pound is not a kind of a knee is true. sent17: something does dim. sent18: the Monitor is a kind of a positive if it is not a diaphoretic and it is not a kind of an ark. sent19: the Monitor is both not a knee and non-diaphoretic. sent20: the Monitor is not capitular.
sent15 & sent19 -> int1: the Monitor dims.; sent1 & sent11 & sent7 -> int2: the Monitor is an ark.; int1 & int2 -> int3: the Monitor does dim and it is a kind of an ark.; int3 -> int4: there is something such that it is dim and is an ark.; int4 & sent9 -> hypothesis;
there is something such that it does jiggle fiddleneck and is a impalement.
sent14 -> int5: if the cheesemonger does not dim then it jiggles fiddleneck and it is a kind of an ark.;
$hypothesis$ = the cheesemonger is a kind of a positive. ; $context$ = sent1: either the Pound narrows accelerometer or it is an ark or both. sent2: if the Monitor is not precocial then the cheesemonger is a ginseng and it does narrow accelerometer. sent3: if the Pound is a kind of non-diaphoretic thing that does narrow accelerometer then it is positive. sent4: something is both a knee and an ark. sent5: the concierge is not a kind of a microbe and it is not awake. sent6: if the cheesemonger is both not an ark and a diaphoretic it is a positive. sent7: if the Pound is a kind of an ark the Monitor is a kind of an ark. sent8: there exists something such that it is an ark. sent9: the cheesemonger is not positive if there is something such that it dims and it is an ark. sent10: the cheesemonger does not narrow accelerometer if there exists something such that it is a kind of a positive that is a diaphoretic. sent11: the Monitor is an ark if the Pound narrows accelerometer. sent12: if the Pound is not an ark but it is a positive then it is a knee. sent13: if that something is not an ark and is dim is not right it is a positive. sent14: if something does not dim it jiggles fiddleneck and is an ark. sent15: the Monitor does dim if the fact that it is not a knee and it is not diaphoretic is not false. sent16: the fact that the Pound is not a kind of a knee is true. sent17: something does dim. sent18: the Monitor is a kind of a positive if it is not a diaphoretic and it is not a kind of an ark. sent19: the Monitor is both not a knee and non-diaphoretic. sent20: the Monitor is not capitular. ; $proof$ = 
sent15 & sent19 -> int1: the Monitor dims.; sent1 & sent11 & sent7 -> int2: the Monitor is an ark.; int1 & int2 -> int3: the Monitor does dim and it is a kind of an ark.; int3 -> int4: there is something such that it is dim and is an ark.; int4 & sent9 -> hypothesis; __DISPROVED__