the cypress is not a Piedmont if it is not digestible.
sent1: the cypress is actinomorphic. sent2: if the cypress is a falls then it is digestible. sent3: if the cypress is dysphemistic the fact that the wineskin is a kind of a wangle that is not digestible is not correct. sent4: the trousseau is not digestible. sent5: the fact that the cypress is not a kind of a theory is not wrong. sent6: if the cypress is a Piedmont it is digestible. sent7: the fact that something is not a wangle and it is not digestible is false if it is a Piedmont. sent8: the cypress does not repot trousseau. sent9: the cypress is not a kind of a Piedmont if that it is digestible is right. sent10: if the Catalan is not digestible that it is not a kind of a Metchnikoff is true. sent11: if the motor is a kind of a pound then it is a region. sent12: if the cypress is a kind of a Piedmont then it is basilican. sent13: if the cypress is not involucrate then it does not circumvallate Catalan. sent14: if the cypress is not digestible it is a Piedmont. sent15: the cypress is not asclepiadaceous if it does not squish trad. sent16: the ciprofloxacin is not a Piedmont. sent17: the lichen is not digestible. sent18: the cypress is not conceptualistic.
void -> assump1: Let's assume that that the cypress is a Piedmont is not false.; sent6 & assump1 -> int1: the cypress is digestible.; void -> assump2: Let's assume that the cypress is not digestible.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cypress is not a Piedmont.; [assump2] & int3 -> hypothesis;
the wineskin is a kind of a Piedmont.
$hypothesis$ = the cypress is not a Piedmont if it is not digestible. ; $context$ = sent1: the cypress is actinomorphic. sent2: if the cypress is a falls then it is digestible. sent3: if the cypress is dysphemistic the fact that the wineskin is a kind of a wangle that is not digestible is not correct. sent4: the trousseau is not digestible. sent5: the fact that the cypress is not a kind of a theory is not wrong. sent6: if the cypress is a Piedmont it is digestible. sent7: the fact that something is not a wangle and it is not digestible is false if it is a Piedmont. sent8: the cypress does not repot trousseau. sent9: the cypress is not a kind of a Piedmont if that it is digestible is right. sent10: if the Catalan is not digestible that it is not a kind of a Metchnikoff is true. sent11: if the motor is a kind of a pound then it is a region. sent12: if the cypress is a kind of a Piedmont then it is basilican. sent13: if the cypress is not involucrate then it does not circumvallate Catalan. sent14: if the cypress is not digestible it is a Piedmont. sent15: the cypress is not asclepiadaceous if it does not squish trad. sent16: the ciprofloxacin is not a Piedmont. sent17: the lichen is not digestible. sent18: the cypress is not conceptualistic. ; $proof$ = 
void -> assump1: Let's assume that that the cypress is a Piedmont is not false.; sent6 & assump1 -> int1: the cypress is digestible.; void -> assump2: Let's assume that the cypress is not digestible.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cypress is not a Piedmont.; [assump2] & int3 -> hypothesis; __PROVED__