the augur is lobeliaceous.
sent1: if the debater is not lobeliaceous and it is not phonological then the augur is not lobeliaceous. sent2: if something is not a kind of a blood but it is a Bunsen then it is phonological. sent3: everything does not blood. sent4: if something does not ventilate muntjac it birls. sent5: something is amoristic if that it is a wounded is correct. sent6: the fact that the muntjac is not a blood hold. sent7: the muntjac is lobeliaceous. sent8: the retainer birls if it does not ventilate muntjac. sent9: if that the anglophobe does not ventilate muntjac and/or it is a kind of a wounded does not hold then the retainer is not a wounded. sent10: the debater is a kind of a wounded if the fact that the muntjac is phonological is not incorrect. sent11: if the fact that the debater is amoristic is true the retainer is amoristic or does not ventilate muntjac or both. sent12: if something bloods and it is a Bunsen it is phonological. sent13: that the muntjac is phonological is right if it is a kind of a blood that is a Bunsen. sent14: if either something is amoristic or it does not ventilate muntjac or both then it birls. sent15: the retainer is amoristic or does ventilate muntjac or both if the debater is amoristic. sent16: everything is not a blood and it is a kind of a Bunsen. sent17: if the retainer birls the augur is lobeliaceous. sent18: the retainer is amoristic and/or it ventilates muntjac.
sent16 -> int1: the muntjac is not a blood and is a Bunsen.; sent2 -> int2: if the muntjac is not a kind of a blood but it is a Bunsen then it is not non-phonological.; int1 & int2 -> int3: the muntjac is phonological.; int3 & sent10 -> int4: the debater is a wounded.; sent5 -> int5: if the debater is a kind of a wounded then it is amoristic.; int4 & int5 -> int6: the debater is amoristic.; int6 & sent11 -> int7: the retainer is amoristic or does not ventilate muntjac or both.; sent14 -> int8: the retainer birls if it either is amoristic or does not ventilate muntjac or both.; int7 & int8 -> int9: the retainer does birl.; int9 & sent17 -> hypothesis;
the augur is not lobeliaceous.
$hypothesis$ = the augur is lobeliaceous. ; $context$ = sent1: if the debater is not lobeliaceous and it is not phonological then the augur is not lobeliaceous. sent2: if something is not a kind of a blood but it is a Bunsen then it is phonological. sent3: everything does not blood. sent4: if something does not ventilate muntjac it birls. sent5: something is amoristic if that it is a wounded is correct. sent6: the fact that the muntjac is not a blood hold. sent7: the muntjac is lobeliaceous. sent8: the retainer birls if it does not ventilate muntjac. sent9: if that the anglophobe does not ventilate muntjac and/or it is a kind of a wounded does not hold then the retainer is not a wounded. sent10: the debater is a kind of a wounded if the fact that the muntjac is phonological is not incorrect. sent11: if the fact that the debater is amoristic is true the retainer is amoristic or does not ventilate muntjac or both. sent12: if something bloods and it is a Bunsen it is phonological. sent13: that the muntjac is phonological is right if it is a kind of a blood that is a Bunsen. sent14: if either something is amoristic or it does not ventilate muntjac or both then it birls. sent15: the retainer is amoristic or does ventilate muntjac or both if the debater is amoristic. sent16: everything is not a blood and it is a kind of a Bunsen. sent17: if the retainer birls the augur is lobeliaceous. sent18: the retainer is amoristic and/or it ventilates muntjac. ; $proof$ = 
sent16 -> int1: the muntjac is not a blood and is a Bunsen.; sent2 -> int2: if the muntjac is not a kind of a blood but it is a Bunsen then it is not non-phonological.; int1 & int2 -> int3: the muntjac is phonological.; int3 & sent10 -> int4: the debater is a wounded.; sent5 -> int5: if the debater is a kind of a wounded then it is amoristic.; int4 & int5 -> int6: the debater is amoristic.; int6 & sent11 -> int7: the retainer is amoristic or does not ventilate muntjac or both.; sent14 -> int8: the retainer birls if it either is amoristic or does not ventilate muntjac or both.; int7 & int8 -> int9: the retainer does birl.; int9 & sent17 -> hypothesis; __PROVED__