the curlew does utter canicule and is a blond.
sent1: the curlew is a Platanthera if there is something such that it is bladdery. sent2: if that something does utter curlew and is not a plush is wrong then it is not a misdeal. sent3: if something does not utter curlew then it is not a misdeal. sent4: the polyp does not date concert. sent5: the fact that the curlew does utter canicule hold if that the polyp is not a plush is not incorrect. sent6: if the polyp does not utter curlew it is not a kind of a misdeal. sent7: the curlew is a Platanthera. sent8: the balbriggan is bladdery. sent9: everything is a misdeal and does not date concert. sent10: the polyp does utter curlew.
sent2 -> int1: the polyp does not misdeal if the fact that it utters curlew and it is not a plush is not true.; void -> assump1: Let's assume that that the polyp does utter curlew and is not a plush is not true.; int1 & assump1 -> int2: the polyp is not a misdeal.; sent9 -> int3: the polyp misdeals but it does not date concert.; int3 -> int4: the fact that the polyp misdeals is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the polyp does utter curlew and is not a plush.; int6 -> int7: the polyp is not a plush.; int7 & sent5 -> int8: the curlew does utter canicule.; sent8 -> int9: there exists something such that it is bladdery.;
$hypothesis$ = the curlew does utter canicule and is a blond. ; $context$ = sent1: the curlew is a Platanthera if there is something such that it is bladdery. sent2: if that something does utter curlew and is not a plush is wrong then it is not a misdeal. sent3: if something does not utter curlew then it is not a misdeal. sent4: the polyp does not date concert. sent5: the fact that the curlew does utter canicule hold if that the polyp is not a plush is not incorrect. sent6: if the polyp does not utter curlew it is not a kind of a misdeal. sent7: the curlew is a Platanthera. sent8: the balbriggan is bladdery. sent9: everything is a misdeal and does not date concert. sent10: the polyp does utter curlew. ; $proof$ = 
sent2 -> int1: the polyp does not misdeal if the fact that it utters curlew and it is not a plush is not true.; void -> assump1: Let's assume that that the polyp does utter curlew and is not a plush is not true.; int1 & assump1 -> int2: the polyp is not a misdeal.; sent9 -> int3: the polyp misdeals but it does not date concert.; int3 -> int4: the fact that the polyp misdeals is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the polyp does utter curlew and is not a plush.; int6 -> int7: the polyp is not a plush.; int7 & sent5 -> int8: the curlew does utter canicule.; sent8 -> int9: there exists something such that it is bladdery.; __UNKNOWN__