the prickle-weed is not anionic.
sent1: there is something such that that it heals absolver is not false. sent2: if the basilisk does blunt scallopine and is a kind of a drift it is a maraschino. sent3: the gooseberry does ensconce if that the fact that the basilisk is not a maraschino hold does not hold. sent4: that if something blunts scallopine and it is a drift it is a kind of a maraschino is true. sent5: if the fact that the basilisk does not blunt scallopine but it does drift is not right then the prickle-weed does dilate Dneprodzerzhinsk. sent6: the danish does not dilate psilomelane. sent7: if something that does not blunt scallopine drifts it is a kind of a maraschino. sent8: the gerenuk is a Paterson. sent9: something that is not a kind of a fugleman is not a kind of a bistro and is a kind of a drift. sent10: if the danish does not dilate psilomelane it does not nitrify. sent11: the basilisk does not blunt scallopine. sent12: The psilomelane does not dilate danish. sent13: if something that dilates Dneprodzerzhinsk is a Paterson then it is not a kind of a anionic. sent14: that the prickle-weed is not non-anionic hold if the fact that the gooseberry is not a non-anionic but it is a maraschino is false. sent15: the gooseberry does not ensconce if there is something such that it does not nitrify and it heals absolver. sent16: the prickle-weed dilates Dneprodzerzhinsk if the basilisk blunts scallopine. sent17: that the fact that the prickle-weed is not a zizz hold is not right. sent18: the danish does not nitrify and does heal absolver if that it does not dilate psilomelane hold. sent19: the danish does not nitrify.
sent7 -> int1: the basilisk is a maraschino if it does not blunt scallopine and is a drift.; void -> assump1: Let's assume that the basilisk does not blunt scallopine and is a drift.; int1 & assump1 -> int2: the basilisk is a maraschino.; int2 & sent3 -> int3: the gooseberry does ensconce.; sent18 & sent6 -> int4: the danish does not nitrify and does heal absolver.; int4 -> int5: there exists something such that it does not nitrify and it does heal absolver.; int5 & sent15 -> int6: the gooseberry does not ensconce.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the basilisk does not blunt scallopine but it does drift is wrong.; int8 & sent5 -> int9: the prickle-weed dilates Dneprodzerzhinsk.; sent13 -> int10: the prickle-weed is not a anionic if it does dilate Dneprodzerzhinsk and is a kind of a Paterson.;
the prickle-weed is anionic.
$hypothesis$ = the prickle-weed is not anionic. ; $context$ = sent1: there is something such that that it heals absolver is not false. sent2: if the basilisk does blunt scallopine and is a kind of a drift it is a maraschino. sent3: the gooseberry does ensconce if that the fact that the basilisk is not a maraschino hold does not hold. sent4: that if something blunts scallopine and it is a drift it is a kind of a maraschino is true. sent5: if the fact that the basilisk does not blunt scallopine but it does drift is not right then the prickle-weed does dilate Dneprodzerzhinsk. sent6: the danish does not dilate psilomelane. sent7: if something that does not blunt scallopine drifts it is a kind of a maraschino. sent8: the gerenuk is a Paterson. sent9: something that is not a kind of a fugleman is not a kind of a bistro and is a kind of a drift. sent10: if the danish does not dilate psilomelane it does not nitrify. sent11: the basilisk does not blunt scallopine. sent12: The psilomelane does not dilate danish. sent13: if something that dilates Dneprodzerzhinsk is a Paterson then it is not a kind of a anionic. sent14: that the prickle-weed is not non-anionic hold if the fact that the gooseberry is not a non-anionic but it is a maraschino is false. sent15: the gooseberry does not ensconce if there is something such that it does not nitrify and it heals absolver. sent16: the prickle-weed dilates Dneprodzerzhinsk if the basilisk blunts scallopine. sent17: that the fact that the prickle-weed is not a zizz hold is not right. sent18: the danish does not nitrify and does heal absolver if that it does not dilate psilomelane hold. sent19: the danish does not nitrify. ; $proof$ = 
sent7 -> int1: the basilisk is a maraschino if it does not blunt scallopine and is a drift.; void -> assump1: Let's assume that the basilisk does not blunt scallopine and is a drift.; int1 & assump1 -> int2: the basilisk is a maraschino.; int2 & sent3 -> int3: the gooseberry does ensconce.; sent18 & sent6 -> int4: the danish does not nitrify and does heal absolver.; int4 -> int5: there exists something such that it does not nitrify and it does heal absolver.; int5 & sent15 -> int6: the gooseberry does not ensconce.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the basilisk does not blunt scallopine but it does drift is wrong.; int8 & sent5 -> int9: the prickle-weed dilates Dneprodzerzhinsk.; sent13 -> int10: the prickle-weed is not a anionic if it does dilate Dneprodzerzhinsk and is a kind of a Paterson.; __UNKNOWN__