the digestive is not araneidal and it does not diphthongize.
sent1: something is not a Ceratopetalum if that it is a kind of a rugby and it does not edge subclass is not right. sent2: the dope does not mint and it is not a district. sent3: that the last awakens but it is not a Bryan is incorrect. sent4: the digestive edges subclass. sent5: if the last is not a rugby then the digestive is non-araneidal thing that does not diphthongize. sent6: that something is not araneidal and it does not diphthongize does not hold if it does not mint. sent7: if the lilyturf awakens then the fact that it is a rugby and does not edge subclass is false. sent8: the fact that the dope is not a district but anticholinergic is not right if the lilyturf is not a Ceratopetalum. sent9: if something that is a anticholinergic does edge subclass then it is not a rugby. sent10: if the dope does not mint the lilyturf is not a Ceratopetalum and is not a kind of a mint. sent11: if the fact that something awakens and is not a Bryan does not hold then that it edges subclass is not incorrect.
sent2 -> int1: that the dope is not a mint is correct.; int1 & sent10 -> int2: the lilyturf is not a Ceratopetalum and is not a mint.; sent11 -> int3: the last edges subclass if that it awakens and it is not a Bryan does not hold.; int3 & sent3 -> int4: the last does edge subclass.; sent9 -> int5: if the last is a kind of anticholinergic thing that does edge subclass it is not a kind of a rugby.;
the fact that the digestive is a kind of non-araneidal thing that does not diphthongize does not hold.
sent6 -> int6: the fact that the digestive is not araneidal and it does not diphthongize is wrong if that it is not a mint is right.; sent1 -> int7: the lilyturf is not a kind of a Ceratopetalum if that the fact that it is a rugby that does not edge subclass is true is not correct.;
$hypothesis$ = the digestive is not araneidal and it does not diphthongize. ; $context$ = sent1: something is not a Ceratopetalum if that it is a kind of a rugby and it does not edge subclass is not right. sent2: the dope does not mint and it is not a district. sent3: that the last awakens but it is not a Bryan is incorrect. sent4: the digestive edges subclass. sent5: if the last is not a rugby then the digestive is non-araneidal thing that does not diphthongize. sent6: that something is not araneidal and it does not diphthongize does not hold if it does not mint. sent7: if the lilyturf awakens then the fact that it is a rugby and does not edge subclass is false. sent8: the fact that the dope is not a district but anticholinergic is not right if the lilyturf is not a Ceratopetalum. sent9: if something that is a anticholinergic does edge subclass then it is not a rugby. sent10: if the dope does not mint the lilyturf is not a Ceratopetalum and is not a kind of a mint. sent11: if the fact that something awakens and is not a Bryan does not hold then that it edges subclass is not incorrect. ; $proof$ = 
sent2 -> int1: that the dope is not a mint is correct.; int1 & sent10 -> int2: the lilyturf is not a Ceratopetalum and is not a mint.; sent11 -> int3: the last edges subclass if that it awakens and it is not a Bryan does not hold.; int3 & sent3 -> int4: the last does edge subclass.; sent9 -> int5: if the last is a kind of anticholinergic thing that does edge subclass it is not a kind of a rugby.; __UNKNOWN__