the boiling is not undemocratic.
sent1: the amide lathers Comrade. sent2: there is nothing such that it does denaturalize Gallinula and is not Cappadocian. sent3: something does denaturalize Gallinula if that it is not a Trento and it does not lather drydock is not right. sent4: the anathema does not lather drydock if the fact that the amide is a paragonite is correct. sent5: if that the amide does not lather drydock and it is not tonal is false it is a Trento. sent6: if the anathema is not a paragonite and/or it does hurtle nasalization then the boiling is not undemocratic. sent7: the fact that the Comrade is not a Physidae and hurtles cantillation is not true if it is tonal. sent8: if the amide does not denaturalize Gallinula and does not lather Comrade then the fact that the boiling lather Comrade is not incorrect. sent9: the fact that the amide is not a Trento and it does not lather drydock does not hold if that it does lather Comrade is not incorrect. sent10: the amide is tonal if the Comrade is a Trento. sent11: the fact that the Comrade is non-tonal thing that does hurtle nasalization is incorrect. sent12: the scholar hurtles nasalization. sent13: the Comrade is tonal. sent14: something is undemocratic if it lathers Comrade. sent15: The Comrade lathers amide. sent16: if something is tonal it does hurtle cantillation. sent17: the Comrade is Cappadocian if the scholar is a Physidae. sent18: if the amide does denaturalize Gallinula the fact that the scholar is a kind of a Physidae is not incorrect. sent19: that the anathema is not a paragonite is not incorrect if the Comrade is Cappadocian thing that does hurtle cantillation.
sent9 & sent1 -> int1: the fact that that the amide is not a Trento and does not lather drydock is true is not true.; sent3 -> int2: the amide denaturalizes Gallinula if that it is not a Trento and it does not lather drydock is false.; int1 & int2 -> int3: the amide does denaturalize Gallinula.; int3 & sent18 -> int4: the scholar is a Physidae.; int4 & sent17 -> int5: the Comrade is Cappadocian.; sent16 -> int6: if the Comrade is tonal then the fact that it hurtles cantillation is true.; int6 & sent13 -> int7: the Comrade hurtles cantillation.; int5 & int7 -> int8: the Comrade is Cappadocian and it hurtles cantillation.; int8 & sent19 -> int9: the anathema is not a kind of a paragonite.; int9 -> int10: the fact that the anathema is not a paragonite or it does hurtle nasalization or both hold.; int10 & sent6 -> hypothesis;
the boiling is undemocratic.
sent14 -> int11: if the boiling lathers Comrade it is undemocratic.;
$hypothesis$ = the boiling is not undemocratic. ; $context$ = sent1: the amide lathers Comrade. sent2: there is nothing such that it does denaturalize Gallinula and is not Cappadocian. sent3: something does denaturalize Gallinula if that it is not a Trento and it does not lather drydock is not right. sent4: the anathema does not lather drydock if the fact that the amide is a paragonite is correct. sent5: if that the amide does not lather drydock and it is not tonal is false it is a Trento. sent6: if the anathema is not a paragonite and/or it does hurtle nasalization then the boiling is not undemocratic. sent7: the fact that the Comrade is not a Physidae and hurtles cantillation is not true if it is tonal. sent8: if the amide does not denaturalize Gallinula and does not lather Comrade then the fact that the boiling lather Comrade is not incorrect. sent9: the fact that the amide is not a Trento and it does not lather drydock does not hold if that it does lather Comrade is not incorrect. sent10: the amide is tonal if the Comrade is a Trento. sent11: the fact that the Comrade is non-tonal thing that does hurtle nasalization is incorrect. sent12: the scholar hurtles nasalization. sent13: the Comrade is tonal. sent14: something is undemocratic if it lathers Comrade. sent15: The Comrade lathers amide. sent16: if something is tonal it does hurtle cantillation. sent17: the Comrade is Cappadocian if the scholar is a Physidae. sent18: if the amide does denaturalize Gallinula the fact that the scholar is a kind of a Physidae is not incorrect. sent19: that the anathema is not a paragonite is not incorrect if the Comrade is Cappadocian thing that does hurtle cantillation. ; $proof$ = 
sent9 & sent1 -> int1: the fact that that the amide is not a Trento and does not lather drydock is true is not true.; sent3 -> int2: the amide denaturalizes Gallinula if that it is not a Trento and it does not lather drydock is false.; int1 & int2 -> int3: the amide does denaturalize Gallinula.; int3 & sent18 -> int4: the scholar is a Physidae.; int4 & sent17 -> int5: the Comrade is Cappadocian.; sent16 -> int6: if the Comrade is tonal then the fact that it hurtles cantillation is true.; int6 & sent13 -> int7: the Comrade hurtles cantillation.; int5 & int7 -> int8: the Comrade is Cappadocian and it hurtles cantillation.; int8 & sent19 -> int9: the anathema is not a kind of a paragonite.; int9 -> int10: the fact that the anathema is not a paragonite or it does hurtle nasalization or both hold.; int10 & sent6 -> hypothesis; __PROVED__