the laurel-tree is not atrial.
sent1: the laurel-tree is atrial if the dicloxacillin is atrial. sent2: the Hogan is accommodational if the fact that the lenticel trolls puppetry and is not a kind of a rustication is incorrect. sent3: the laurel-tree is not atrial if the fact that the Hogan is a rustication or waves decumary or both is not right. sent4: the fact that that the dicloxacillin is Gauguinesque and is a elephant's-foot is not true hold. sent5: something is not proconsular. sent6: if something that is a ringdove trolls puppetry then it does not wave decumary. sent7: the lenticel does not magnify. sent8: if the lenticel does not magnify then it trolls puppetry and is accommodational. sent9: if the lenticel is not accommodational then the fact that the Hogan is a rustication and/or it is accommodational is false. sent10: that the Hogan either is a rustication or does wave decumary or both does not hold if the lenticel does not wave decumary. sent11: if the fact that the dicloxacillin is Gauguinesque but it is not a elephant's-foot is wrong the lenticel is a ringdove. sent12: if the dicloxacillin is a elephant's-foot the lenticel is a ringdove. sent13: if something is not proconsular that the fact that the dicloxacillin is Gauguinesque but it is not a elephant's-foot is not false is incorrect. sent14: the fact that the lenticel is accommodational hold. sent15: the Hogan does not wave decumary.
sent5 & sent13 -> int1: that the dicloxacillin is Gauguinesque but not a elephant's-foot is not correct.; int1 & sent11 -> int2: the lenticel is a ringdove.; sent8 & sent7 -> int3: the lenticel trolls puppetry and is accommodational.; int3 -> int4: the lenticel trolls puppetry.; int2 & int4 -> int5: the lenticel is a ringdove and it does troll puppetry.; sent6 -> int6: if the lenticel is a ringdove and it does troll puppetry it does not wave decumary.; int5 & int6 -> int7: the lenticel does not wave decumary.; int7 & sent10 -> int8: the fact that the Hogan is a rustication or it does wave decumary or both is not right.; int8 & sent3 -> hypothesis;
the laurel-tree is atrial.
$hypothesis$ = the laurel-tree is not atrial. ; $context$ = sent1: the laurel-tree is atrial if the dicloxacillin is atrial. sent2: the Hogan is accommodational if the fact that the lenticel trolls puppetry and is not a kind of a rustication is incorrect. sent3: the laurel-tree is not atrial if the fact that the Hogan is a rustication or waves decumary or both is not right. sent4: the fact that that the dicloxacillin is Gauguinesque and is a elephant's-foot is not true hold. sent5: something is not proconsular. sent6: if something that is a ringdove trolls puppetry then it does not wave decumary. sent7: the lenticel does not magnify. sent8: if the lenticel does not magnify then it trolls puppetry and is accommodational. sent9: if the lenticel is not accommodational then the fact that the Hogan is a rustication and/or it is accommodational is false. sent10: that the Hogan either is a rustication or does wave decumary or both does not hold if the lenticel does not wave decumary. sent11: if the fact that the dicloxacillin is Gauguinesque but it is not a elephant's-foot is wrong the lenticel is a ringdove. sent12: if the dicloxacillin is a elephant's-foot the lenticel is a ringdove. sent13: if something is not proconsular that the fact that the dicloxacillin is Gauguinesque but it is not a elephant's-foot is not false is incorrect. sent14: the fact that the lenticel is accommodational hold. sent15: the Hogan does not wave decumary. ; $proof$ = 
sent5 & sent13 -> int1: that the dicloxacillin is Gauguinesque but not a elephant's-foot is not correct.; int1 & sent11 -> int2: the lenticel is a ringdove.; sent8 & sent7 -> int3: the lenticel trolls puppetry and is accommodational.; int3 -> int4: the lenticel trolls puppetry.; int2 & int4 -> int5: the lenticel is a ringdove and it does troll puppetry.; sent6 -> int6: if the lenticel is a ringdove and it does troll puppetry it does not wave decumary.; int5 & int6 -> int7: the lenticel does not wave decumary.; int7 & sent10 -> int8: the fact that the Hogan is a rustication or it does wave decumary or both is not right.; int8 & sent3 -> hypothesis; __PROVED__