the fact that the crocket is not a kind of a cholelithotomy and/or it is not a feed does not hold.
sent1: if something is not a kind of a cholelithotomy then the fact that it does not perplex duplicate and it is not impalpable is false. sent2: the taboret is not a kind of a heaume if the fact that the phycocyanin does not perplex duplicate but it is palpable is not correct. sent3: the taboret is not Kafkaesque. sent4: if the phycocyanin is a cholelithotomy then that the crocket is not a cholelithotomy or it does not feed or both is wrong. sent5: the taboret is not non-Kafkaesque if it is not a heaume.
sent1 -> int1: the fact that the phycocyanin does not perplex duplicate and is palpable is incorrect if it is not a kind of a cholelithotomy.; void -> assump1: Let's assume that the phycocyanin is not a cholelithotomy.; int1 & assump1 -> int2: that the phycocyanin does not perplex duplicate but it is palpable is incorrect.; int2 & sent2 -> int3: the taboret is not a kind of a heaume.; int3 & sent5 -> int4: the taboret is Kafkaesque.; int4 & sent3 -> int5: this is contradiction.; [assump1] & int5 -> int6: the phycocyanin is a cholelithotomy.; int6 & sent4 -> hypothesis;
$hypothesis$ = the fact that the crocket is not a kind of a cholelithotomy and/or it is not a feed does not hold. ; $context$ = sent1: if something is not a kind of a cholelithotomy then the fact that it does not perplex duplicate and it is not impalpable is false. sent2: the taboret is not a kind of a heaume if the fact that the phycocyanin does not perplex duplicate but it is palpable is not correct. sent3: the taboret is not Kafkaesque. sent4: if the phycocyanin is a cholelithotomy then that the crocket is not a cholelithotomy or it does not feed or both is wrong. sent5: the taboret is not non-Kafkaesque if it is not a heaume. ; $proof$ = 
sent1 -> int1: the fact that the phycocyanin does not perplex duplicate and is palpable is incorrect if it is not a kind of a cholelithotomy.; void -> assump1: Let's assume that the phycocyanin is not a cholelithotomy.; int1 & assump1 -> int2: that the phycocyanin does not perplex duplicate but it is palpable is incorrect.; int2 & sent2 -> int3: the taboret is not a kind of a heaume.; int3 & sent5 -> int4: the taboret is Kafkaesque.; int4 & sent3 -> int5: this is contradiction.; [assump1] & int5 -> int6: the phycocyanin is a cholelithotomy.; int6 & sent4 -> hypothesis; __PROVED__