the burgomaster is not capitular.
sent1: if the gunsmith is not a maraschino but it is a cloisonne then the burgomaster is not capitular. sent2: the kerosene does not variegate Chancellorsville. sent3: if the kerosene does variegate absinth and does not variegate Chancellorsville the Maldivian is not a parer. sent4: that the Maldivian is not a kind of a parer and does not variegate Chancellorsville is false. sent5: something is not a kind of a Cornish if it does not variegate absinth and is not a kind of a angiocardiogram. sent6: the gunsmith is not a kind of a maraschino. sent7: something is unprovocative and it is a kind of a parer. sent8: the gunsmith is not a maraschino if the ballcock is not a cloisonne. sent9: The Chancellorsville does not variegate kerosene. sent10: that the kerosene is not a angiocardiogram does not hold. sent11: the Maldivian is unprovocative. sent12: there is something such that it is unprovocative. sent13: the ballcock is not a cloisonne if something that is unprovocative is not a kind of a parer. sent14: the kerosene variegates absinth if it is a angiocardiogram. sent15: if there exists something such that the fact that it is not a parer and does not variegate Chancellorsville is false then that the kerosene does disoblige dentition is right. sent16: if the gunsmith is a maraschino that is a kind of a cloisonne then that the burgomaster is not capitular hold. sent17: the gunsmith is not a maraschino and is a cloisonne if the ballcock is not a cloisonne.
sent14 & sent10 -> int1: the kerosene variegates absinth.; int1 & sent2 -> int2: the kerosene variegates absinth but it does not variegate Chancellorsville.; int2 & sent3 -> int3: the fact that the Maldivian is not a parer is true.; int3 & sent11 -> int4: the Maldivian is unprovocative but it is not a parer.; int4 -> int5: something is unprovocative but it is not a kind of a parer.; int5 & sent13 -> int6: the ballcock is not a kind of a cloisonne.; int6 & sent17 -> int7: the gunsmith is not a maraschino and is a cloisonne.; int7 & sent1 -> hypothesis;
something disobliges dentition and is not a kind of a Cornish.
sent4 -> int8: there is something such that the fact that it is not a kind of a parer and does not variegate Chancellorsville does not hold.; int8 & sent15 -> int9: the kerosene does disoblige dentition.; sent5 -> int10: the kerosene is not a kind of a Cornish if it does not variegate absinth and it is not a kind of a angiocardiogram.;
$hypothesis$ = the burgomaster is not capitular. ; $context$ = sent1: if the gunsmith is not a maraschino but it is a cloisonne then the burgomaster is not capitular. sent2: the kerosene does not variegate Chancellorsville. sent3: if the kerosene does variegate absinth and does not variegate Chancellorsville the Maldivian is not a parer. sent4: that the Maldivian is not a kind of a parer and does not variegate Chancellorsville is false. sent5: something is not a kind of a Cornish if it does not variegate absinth and is not a kind of a angiocardiogram. sent6: the gunsmith is not a kind of a maraschino. sent7: something is unprovocative and it is a kind of a parer. sent8: the gunsmith is not a maraschino if the ballcock is not a cloisonne. sent9: The Chancellorsville does not variegate kerosene. sent10: that the kerosene is not a angiocardiogram does not hold. sent11: the Maldivian is unprovocative. sent12: there is something such that it is unprovocative. sent13: the ballcock is not a cloisonne if something that is unprovocative is not a kind of a parer. sent14: the kerosene variegates absinth if it is a angiocardiogram. sent15: if there exists something such that the fact that it is not a parer and does not variegate Chancellorsville is false then that the kerosene does disoblige dentition is right. sent16: if the gunsmith is a maraschino that is a kind of a cloisonne then that the burgomaster is not capitular hold. sent17: the gunsmith is not a maraschino and is a cloisonne if the ballcock is not a cloisonne. ; $proof$ = 
sent14 & sent10 -> int1: the kerosene variegates absinth.; int1 & sent2 -> int2: the kerosene variegates absinth but it does not variegate Chancellorsville.; int2 & sent3 -> int3: the fact that the Maldivian is not a parer is true.; int3 & sent11 -> int4: the Maldivian is unprovocative but it is not a parer.; int4 -> int5: something is unprovocative but it is not a kind of a parer.; int5 & sent13 -> int6: the ballcock is not a kind of a cloisonne.; int6 & sent17 -> int7: the gunsmith is not a maraschino and is a cloisonne.; int7 & sent1 -> hypothesis; __PROVED__