the fact that something is not democratic and it is not a kind of a den is correct.
sent1: the lavatory is not undemocratic. sent2: the shipyard is a stockinet if that it is not a kind of a quadratic and it is not warmed does not hold. sent3: the fact that the shipyard is both not a quadratic and not non-warmed does not hold. sent4: if the fact that the shipyard is not a stockinet and it does not abuse Lolo is not right it is aneuploid. sent5: the fact that the shipyard is non-quadratic thing that is not warmed is incorrect. sent6: the striker is non-quadratic and is not a den. sent7: the striker abuses Lolo. sent8: the shipyard is not a den if that the striker is aneuploid thing that does abuse Lolo is not false. sent9: The Lolo abuses striker. sent10: if the striker is aneuploid thing that buries winged then that the shipyard is not a kind of a stockinet is correct. sent11: if the fact that the striker is not a den is not incorrect it is not a stockinet and it does not warm. sent12: something is not democratic and it is not a den if it does not bury winged. sent13: the striker is aneuploid if that it does abuse Lolo is not wrong.
sent13 & sent7 -> int1: the striker is aneuploid.; void -> assump1: Let's assume that the striker buries winged.; int1 & assump1 -> int2: the striker is aneuploid and it does bury winged.; int2 & sent10 -> int3: the shipyard is not a kind of a stockinet.; sent2 & sent5 -> int4: the shipyard is a stockinet.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the striker does not bury winged.; sent12 -> int7: the striker is not democratic and it is not a den if it does not bury winged.; int6 & int7 -> int8: the striker is not democratic and not a den.; int8 -> hypothesis;
$hypothesis$ = the fact that something is not democratic and it is not a kind of a den is correct. ; $context$ = sent1: the lavatory is not undemocratic. sent2: the shipyard is a stockinet if that it is not a kind of a quadratic and it is not warmed does not hold. sent3: the fact that the shipyard is both not a quadratic and not non-warmed does not hold. sent4: if the fact that the shipyard is not a stockinet and it does not abuse Lolo is not right it is aneuploid. sent5: the fact that the shipyard is non-quadratic thing that is not warmed is incorrect. sent6: the striker is non-quadratic and is not a den. sent7: the striker abuses Lolo. sent8: the shipyard is not a den if that the striker is aneuploid thing that does abuse Lolo is not false. sent9: The Lolo abuses striker. sent10: if the striker is aneuploid thing that buries winged then that the shipyard is not a kind of a stockinet is correct. sent11: if the fact that the striker is not a den is not incorrect it is not a stockinet and it does not warm. sent12: something is not democratic and it is not a den if it does not bury winged. sent13: the striker is aneuploid if that it does abuse Lolo is not wrong. ; $proof$ = 
sent13 & sent7 -> int1: the striker is aneuploid.; void -> assump1: Let's assume that the striker buries winged.; int1 & assump1 -> int2: the striker is aneuploid and it does bury winged.; int2 & sent10 -> int3: the shipyard is not a kind of a stockinet.; sent2 & sent5 -> int4: the shipyard is a stockinet.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the striker does not bury winged.; sent12 -> int7: the striker is not democratic and it is not a den if it does not bury winged.; int6 & int7 -> int8: the striker is not democratic and not a den.; int8 -> hypothesis; __PROVED__