the asphodel is not non-Celtic.
sent1: if something loots Ambystomatidae and is a loligo it is not avocational. sent2: the fact that the sweeper darkens hold if the Ukranian is a D.A.. sent3: the asphodel is a kind of a cubitus. sent4: the sweeper does loot Ambystomatidae if it is undynamic. sent5: that the osier is avocational is not wrong. sent6: the asphodel is not a Celtic if the Ukranian does not consolidate and it is not a Celtic. sent7: the Ukranian is a D.A. and it does consolidate. sent8: the asphodel is not a loligo if it is not unproductive. sent9: that the asphodel is not a kind of a loligo and is not a kind of a Celtic is incorrect. sent10: the asphodel is not a loligo if the fact that it is unproductive and does darken is incorrect. sent11: something does not consolidate and it is not a Celtic if it is not a kind of a D.A.. sent12: the sweeper is undynamic. sent13: if the osier does not darken the fact that the asphodel is unproductive and darken is not correct. sent14: that the sweeper does not darken and is not productive is false if it is not avocational. sent15: if the Ukranian is not a D.A. then the fact that it does darken is not true. sent16: if the sweeper does darken the osier is avocational.
sent7 -> int1: the Ukranian is a D.A..; int1 & sent2 -> int2: the sweeper darkens.;
the asphodel is not Celtic.
sent11 -> int3: the Ukranian does not consolidate and is not a kind of a Celtic if it is not a kind of a D.A..; sent1 -> int4: if the sweeper does loot Ambystomatidae and it is a loligo then that it is not avocational is not false.; sent4 & sent12 -> int5: the sweeper does loot Ambystomatidae.;
$hypothesis$ = the asphodel is not non-Celtic. ; $context$ = sent1: if something loots Ambystomatidae and is a loligo it is not avocational. sent2: the fact that the sweeper darkens hold if the Ukranian is a D.A.. sent3: the asphodel is a kind of a cubitus. sent4: the sweeper does loot Ambystomatidae if it is undynamic. sent5: that the osier is avocational is not wrong. sent6: the asphodel is not a Celtic if the Ukranian does not consolidate and it is not a Celtic. sent7: the Ukranian is a D.A. and it does consolidate. sent8: the asphodel is not a loligo if it is not unproductive. sent9: that the asphodel is not a kind of a loligo and is not a kind of a Celtic is incorrect. sent10: the asphodel is not a loligo if the fact that it is unproductive and does darken is incorrect. sent11: something does not consolidate and it is not a Celtic if it is not a kind of a D.A.. sent12: the sweeper is undynamic. sent13: if the osier does not darken the fact that the asphodel is unproductive and darken is not correct. sent14: that the sweeper does not darken and is not productive is false if it is not avocational. sent15: if the Ukranian is not a D.A. then the fact that it does darken is not true. sent16: if the sweeper does darken the osier is avocational. ; $proof$ = 
sent7 -> int1: the Ukranian is a D.A..; int1 & sent2 -> int2: the sweeper darkens.; __UNKNOWN__