the catalyst is democratic.
sent1: a non-rabid thing seizes. sent2: if the stooper is either unenforceable or not a beeper or both then that the chancellery is not rabid is not false. sent3: the chancellery is agonal if the fact that the scalpel is not agonal and/or it is not ponderable does not hold. sent4: if something is a Pleurotus but not ponderable it is not democratic. sent5: the catalyst is not a Pleurotus and is not ponderable if the scalpel is agonal. sent6: the catalyst is not a Pleurotus. sent7: either the stooper is unenforceable or it is not a beeper or both. sent8: if something is not a kind of a Pleurotus and it is not ponderable it is not democratic. sent9: if the fact that the scalpel is agonal is true then the catalyst is not a Pleurotus. sent10: the stooper is unenforceable and/or it is a beeper. sent11: the chancellery is not rabid if the stooper is not a beeper. sent12: if the stooper is agonal then it is rabid. sent13: if the chancellery does seize the scalpel is agonal. sent14: if the chancellery is agonal the stooper is agonal. sent15: the catalyst is not democratic if it is a Pleurotus and is not ponderable. sent16: if the fact that something is not rabid but it seizes is false then it is democratic.
sent2 & sent7 -> int1: the chancellery is not rabid.; sent1 -> int2: if the chancellery is not rabid then it does seize.; int1 & int2 -> int3: the chancellery does seize.; int3 & sent13 -> int4: the scalpel is agonal.; int4 & sent5 -> int5: the catalyst is not a Pleurotus and it is not ponderable.; sent8 -> int6: the catalyst is not democratic if it is not a Pleurotus and it is not ponderable.; int5 & int6 -> hypothesis;
the catalyst is democratic.
sent16 -> int7: if the fact that the catalyst is not rabid and does seize is false it is democratic.;
$hypothesis$ = the catalyst is democratic. ; $context$ = sent1: a non-rabid thing seizes. sent2: if the stooper is either unenforceable or not a beeper or both then that the chancellery is not rabid is not false. sent3: the chancellery is agonal if the fact that the scalpel is not agonal and/or it is not ponderable does not hold. sent4: if something is a Pleurotus but not ponderable it is not democratic. sent5: the catalyst is not a Pleurotus and is not ponderable if the scalpel is agonal. sent6: the catalyst is not a Pleurotus. sent7: either the stooper is unenforceable or it is not a beeper or both. sent8: if something is not a kind of a Pleurotus and it is not ponderable it is not democratic. sent9: if the fact that the scalpel is agonal is true then the catalyst is not a Pleurotus. sent10: the stooper is unenforceable and/or it is a beeper. sent11: the chancellery is not rabid if the stooper is not a beeper. sent12: if the stooper is agonal then it is rabid. sent13: if the chancellery does seize the scalpel is agonal. sent14: if the chancellery is agonal the stooper is agonal. sent15: the catalyst is not democratic if it is a Pleurotus and is not ponderable. sent16: if the fact that something is not rabid but it seizes is false then it is democratic. ; $proof$ = 
sent2 & sent7 -> int1: the chancellery is not rabid.; sent1 -> int2: if the chancellery is not rabid then it does seize.; int1 & int2 -> int3: the chancellery does seize.; int3 & sent13 -> int4: the scalpel is agonal.; int4 & sent5 -> int5: the catalyst is not a Pleurotus and it is not ponderable.; sent8 -> int6: the catalyst is not democratic if it is not a Pleurotus and it is not ponderable.; int5 & int6 -> hypothesis; __DISPROVED__