the map-reader deliquesces.
sent1: the annihilator does not deactivate Anglicanism and does not deactivate stoutheartedness. sent2: the spit is a kind of a portfolio. sent3: the map-reader does not deliquesce if the spit does deliquesce and tipples. sent4: if something is not a portfolio it deliquesces and does tipple. sent5: the fact that the focalization is a kind of a balking and/or it is not an endurance hold if that the spit is a portfolio is not wrong. sent6: if the focalization is a kind of a balking and/or it is not an endurance it does not tipple. sent7: if something is a Pictor it does not confederate limpkin and does not extinguish. sent8: if the annihilator extinguishes but it does not confederate limpkin the map-reader deliquesces. sent9: if something does not tipple that it does not confederate limpkin is true.
sent5 & sent2 -> int1: the focalization is a balking or it is not a kind of an endurance or both.; int1 & sent6 -> int2: the focalization does not tipple.; sent9 -> int3: the focalization does not confederate limpkin if it does not tipple.; int2 & int3 -> int4: the focalization does not confederate limpkin.;
the map-reader does not deliquesce.
sent4 -> int5: the spit deliquesces and it tipples if it is not a portfolio.; sent7 -> int6: if the focalization is a kind of a Pictor then it does not confederate limpkin and does not extinguish.; sent1 -> int7: something does not deactivate Anglicanism and does not deactivate stoutheartedness.;
$hypothesis$ = the map-reader deliquesces. ; $context$ = sent1: the annihilator does not deactivate Anglicanism and does not deactivate stoutheartedness. sent2: the spit is a kind of a portfolio. sent3: the map-reader does not deliquesce if the spit does deliquesce and tipples. sent4: if something is not a portfolio it deliquesces and does tipple. sent5: the fact that the focalization is a kind of a balking and/or it is not an endurance hold if that the spit is a portfolio is not wrong. sent6: if the focalization is a kind of a balking and/or it is not an endurance it does not tipple. sent7: if something is a Pictor it does not confederate limpkin and does not extinguish. sent8: if the annihilator extinguishes but it does not confederate limpkin the map-reader deliquesces. sent9: if something does not tipple that it does not confederate limpkin is true. ; $proof$ = 
sent5 & sent2 -> int1: the focalization is a balking or it is not a kind of an endurance or both.; int1 & sent6 -> int2: the focalization does not tipple.; sent9 -> int3: the focalization does not confederate limpkin if it does not tipple.; int2 & int3 -> int4: the focalization does not confederate limpkin.; __UNKNOWN__