the tansy does not pleach concentrated.
sent1: something is a postmistress if it is tuneful. sent2: that the redcap is a rod is not false. sent3: that the wheedler is both not a rod and a Cyrillic is not wrong. sent4: if the fact that the tansy is a rod is right then it is Cyrillic. sent5: the tansy is not a rod if the wheedler is a rod that is a Cyrillic. sent6: the tansy is not a rod if the wheedler is not a rod but it is a kind of a Cyrillic. sent7: if the Wiccan does not render staffer that it is a lost-and-found and is a methadone does not hold. sent8: that if the fact that something is a lost-and-found and it is a methadone is not correct then it is not Cyrillic is correct. sent9: if something pleaches concentrated then it is tuneful. sent10: that the wheedler is not a rod hold. sent11: if something is a postmistress that it is a rod is not false. sent12: if the Wiccan is not a Cyrillic the wheedler is a kind of a postmistress and is a rod. sent13: if something is a postmistress the fact that it is not tuneful and does not pleach concentrated does not hold.
sent9 -> int1: if the tansy pleaches concentrated it is tuneful.; void -> assump1: Let's assume that the tansy does pleach concentrated.; int1 & assump1 -> int2: the tansy is tuneful.; sent1 -> int3: if the tansy is tuneful then it is a postmistress.; int2 & int3 -> int4: the fact that the tansy is a kind of a postmistress hold.; sent11 -> int5: the tansy is a kind of a rod if it is a postmistress.; int4 & int5 -> int6: the tansy is a kind of a rod.; sent6 & sent3 -> int7: the tansy is not a rod.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the tansy pleaches concentrated.
sent13 -> int9: the fact that the wheedler is non-tuneful thing that does not pleach concentrated does not hold if it is a postmistress.; sent8 -> int10: if that the Wiccan is a lost-and-found and it is a methadone is not right then it is not a Cyrillic.;
$hypothesis$ = the tansy does not pleach concentrated. ; $context$ = sent1: something is a postmistress if it is tuneful. sent2: that the redcap is a rod is not false. sent3: that the wheedler is both not a rod and a Cyrillic is not wrong. sent4: if the fact that the tansy is a rod is right then it is Cyrillic. sent5: the tansy is not a rod if the wheedler is a rod that is a Cyrillic. sent6: the tansy is not a rod if the wheedler is not a rod but it is a kind of a Cyrillic. sent7: if the Wiccan does not render staffer that it is a lost-and-found and is a methadone does not hold. sent8: that if the fact that something is a lost-and-found and it is a methadone is not correct then it is not Cyrillic is correct. sent9: if something pleaches concentrated then it is tuneful. sent10: that the wheedler is not a rod hold. sent11: if something is a postmistress that it is a rod is not false. sent12: if the Wiccan is not a Cyrillic the wheedler is a kind of a postmistress and is a rod. sent13: if something is a postmistress the fact that it is not tuneful and does not pleach concentrated does not hold. ; $proof$ = 
sent9 -> int1: if the tansy pleaches concentrated it is tuneful.; void -> assump1: Let's assume that the tansy does pleach concentrated.; int1 & assump1 -> int2: the tansy is tuneful.; sent1 -> int3: if the tansy is tuneful then it is a postmistress.; int2 & int3 -> int4: the fact that the tansy is a kind of a postmistress hold.; sent11 -> int5: the tansy is a kind of a rod if it is a postmistress.; int4 & int5 -> int6: the tansy is a kind of a rod.; sent6 & sent3 -> int7: the tansy is not a rod.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__