the manakin is not a kind of a twin if the idolizer is a kind of a malapropism.
sent1: the idolizer is not a malapropism if the fact that the manakin is pacific or it is a mestizo or both does not hold. sent2: the idolizer is not a sextillion. sent3: the manakin is not a kind of a Argyranthemum if that it is long-chain and/or is not a Hollywood is false. sent4: that the manakin is pacific hold. sent5: if the fact that either the manakin is not pacific or it is a kind of a mestizo or both is not right the idolizer is a malapropism. sent6: the idolizer is not pacific. sent7: if the manakin is a twin the fact that it is not pacific and/or is a mestizo is incorrect. sent8: if that the manakin is not pacific or it is a malapropism or both is not right the fact that the idolizer is not a kind of a mestizo is not incorrect. sent9: if the manakin is a kind of a twin it is pacific. sent10: if the fact that the manakin is not pacific or it is a mestizo or both does not hold the idolizer is not a malapropism. sent11: if the idolizer is a malapropism then the manakin does twin. sent12: if that the manakin is a kind of a malapropism hold then that it is not a mestizo or a twin or both is not true. sent13: that the manakin is not a mestizo hold if the fact that the idolizer is not pacific and/or it is a malapropism is incorrect.
void -> assump2: Let's assume that the idolizer is a kind of a malapropism.; void -> assump1: Let's assume that the manakin twins.; sent7 & assump1 -> int1: that either the manakin is not pacific or it is a mestizo or both does not hold.; sent10 & int1 -> int2: the idolizer is not a malapropism.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the manakin is not a twin.; [assump2] & int4 -> hypothesis;
the lurker is a malapropism.
$hypothesis$ = the manakin is not a kind of a twin if the idolizer is a kind of a malapropism. ; $context$ = sent1: the idolizer is not a malapropism if the fact that the manakin is pacific or it is a mestizo or both does not hold. sent2: the idolizer is not a sextillion. sent3: the manakin is not a kind of a Argyranthemum if that it is long-chain and/or is not a Hollywood is false. sent4: that the manakin is pacific hold. sent5: if the fact that either the manakin is not pacific or it is a kind of a mestizo or both is not right the idolizer is a malapropism. sent6: the idolizer is not pacific. sent7: if the manakin is a twin the fact that it is not pacific and/or is a mestizo is incorrect. sent8: if that the manakin is not pacific or it is a malapropism or both is not right the fact that the idolizer is not a kind of a mestizo is not incorrect. sent9: if the manakin is a kind of a twin it is pacific. sent10: if the fact that the manakin is not pacific or it is a mestizo or both does not hold the idolizer is not a malapropism. sent11: if the idolizer is a malapropism then the manakin does twin. sent12: if that the manakin is a kind of a malapropism hold then that it is not a mestizo or a twin or both is not true. sent13: that the manakin is not a mestizo hold if the fact that the idolizer is not pacific and/or it is a malapropism is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the idolizer is a kind of a malapropism.; void -> assump1: Let's assume that the manakin twins.; sent7 & assump1 -> int1: that either the manakin is not pacific or it is a mestizo or both does not hold.; sent10 & int1 -> int2: the idolizer is not a malapropism.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the manakin is not a twin.; [assump2] & int4 -> hypothesis; __PROVED__