the candlepins is a worthiness.
sent1: if the tactician does scale Lufengpithecus then it is not impious. sent2: if something does not intrigue Allentown it is Marian. sent3: if the fact that something does intrigue Allentown and does not carpet guenon does not hold it is Marian. sent4: if the translator is Marian then it is not a worthiness. sent5: the fact that the translator is a dint but it is not amblyopic is incorrect. sent6: something is a Saul if it is not non-Marian. sent7: the candlepins is not a worthiness if that the translator is not a kind of a dint is not incorrect. sent8: if something is not impious it is a worthiness and does not tipple. sent9: something is not Marian if it is a worthiness and does not tipple. sent10: the fact that the translator intrigues Allentown but it does not carpet guenon is not right. sent11: if the translator is a Saul it is not a dint.
sent3 -> int1: if the fact that the translator does intrigue Allentown and does not carpet guenon does not hold it is Marian.; int1 & sent10 -> int2: the translator is Marian.; sent6 -> int3: the translator is a Saul if it is Marian.; int2 & int3 -> int4: the translator is a Saul.; int4 & sent11 -> int5: the fact that the translator is not a dint is true.; int5 & sent7 -> hypothesis;
the tactician is a dint.
sent9 -> int6: the tactician is not Marian if it is a worthiness that does not tipple.; sent8 -> int7: the tactician is a worthiness but it does not tipple if it is not impious.;
$hypothesis$ = the candlepins is a worthiness. ; $context$ = sent1: if the tactician does scale Lufengpithecus then it is not impious. sent2: if something does not intrigue Allentown it is Marian. sent3: if the fact that something does intrigue Allentown and does not carpet guenon does not hold it is Marian. sent4: if the translator is Marian then it is not a worthiness. sent5: the fact that the translator is a dint but it is not amblyopic is incorrect. sent6: something is a Saul if it is not non-Marian. sent7: the candlepins is not a worthiness if that the translator is not a kind of a dint is not incorrect. sent8: if something is not impious it is a worthiness and does not tipple. sent9: something is not Marian if it is a worthiness and does not tipple. sent10: the fact that the translator intrigues Allentown but it does not carpet guenon is not right. sent11: if the translator is a Saul it is not a dint. ; $proof$ = 
sent3 -> int1: if the fact that the translator does intrigue Allentown and does not carpet guenon does not hold it is Marian.; int1 & sent10 -> int2: the translator is Marian.; sent6 -> int3: the translator is a Saul if it is Marian.; int2 & int3 -> int4: the translator is a Saul.; int4 & sent11 -> int5: the fact that the translator is not a dint is true.; int5 & sent7 -> hypothesis; __DISPROVED__