the azide does manhandle beagle and discountenances acetaminophen.
sent1: that the computer discountenances azide hold. sent2: if the shortbread is a pion then the shellflower does manhandle beagle and does not discountenance acetaminophen. sent3: the fact that the cape is a kind of a pout and it does discountenance ampersand is wrong if the rigging is not an endosperm. sent4: if that something is a kind of a pout that discountenances ampersand is wrong it is not a run-time. sent5: the computer is unswept. sent6: the dagger is a she-devil if the fact that it is not a combine and not a bowls is incorrect. sent7: if the dagger is a she-devil the tophus is thermostatic. sent8: the dagger is not incomplete if the fact that the tophus is a kind of a she-devil and bowls does not hold. sent9: if the fact that the rigging is not a lowercase hold then it is not a kind of an endosperm and does discountenance Delbruck. sent10: that the azide is thermostatic hold if the shellflower manhandles beagle. sent11: if the tophus is thermostatic the azide does manhandle beagle. sent12: if the dagger is not incomplete the bookmark does combine and it is autotrophic. sent13: if the dagger is incomplete then that it is both not a combine and not a bowls is not true. sent14: The acetaminophen does discountenance azide. sent15: the snuffle does not discountenance shipway if something is a kind of unswept thing that does discountenance azide. sent16: the shortbread is a kind of a pion if the insulator is a pion. sent17: the shortbread is thermostatic. sent18: if the snuffle does not discountenance shipway then the fact that the Powhatan is a kind of a capuchin and/or it awes dagger is wrong. sent19: if the dagger is not autotrophic but it is an adobe then it is incomplete. sent20: the dagger is an adobe. sent21: the fact that the dagger is not a combine but a bowls is not right. sent22: the dagger is non-autotrophic an adobe. sent23: the azide does discountenance acetaminophen. sent24: the shortbread is a pion if the insulator does discountenance fibrillation. sent25: if there is something such that it is thermostatic the shellflower is not a she-devil and/or it does not bowl. sent26: if the cape is not a run-time then the insulator either is a kind of a pion or discountenances fibrillation or both. sent27: if there exists something such that the fact that it is a kind of a capuchin or awes dagger or both is false then the rigging is not lowercase. sent28: that the dagger combines and does not bowl is wrong if it is incomplete.
sent19 & sent22 -> int1: the dagger is incomplete.; int1 & sent13 -> int2: the fact that the dagger is not a combine and it is not a bowls does not hold.; int2 & sent6 -> int3: the dagger is a she-devil.; int3 & sent7 -> int4: the fact that the tophus is thermostatic hold.; int4 & sent11 -> int5: the azide manhandles beagle.; int5 & sent23 -> hypothesis;
the bookmark is autotrophic.
sent4 -> int6: the cape is not a run-time if the fact that it does pout and it discountenances ampersand is wrong.; sent5 & sent1 -> int7: the computer is unswept and it does discountenance azide.; int7 -> int8: something is unswept and it does discountenance azide.; int8 & sent15 -> int9: the snuffle does not discountenance shipway.; sent18 & int9 -> int10: the fact that the Powhatan is a capuchin and/or it awes dagger is wrong.; int10 -> int11: there is something such that that it is a capuchin and/or does awe dagger is wrong.; int11 & sent27 -> int12: the fact that the rigging is not lowercase is right.; sent9 & int12 -> int13: the rigging is not a kind of an endosperm but it discountenances Delbruck.; int13 -> int14: the rigging is not an endosperm.; sent3 & int14 -> int15: that the cape is a pout that does discountenance ampersand does not hold.; int6 & int15 -> int16: the cape is not a kind of a run-time.; sent26 & int16 -> int17: the insulator either is a kind of a pion or does discountenance fibrillation or both.; int17 & sent16 & sent24 -> int18: the shortbread is a pion.; sent2 & int18 -> int19: the shellflower does manhandle beagle and does not discountenance acetaminophen.; int19 -> int20: the shellflower does manhandle beagle.; sent10 & int20 -> int21: the azide is thermostatic.; int21 -> int22: there exists something such that it is thermostatic.;
$hypothesis$ = the azide does manhandle beagle and discountenances acetaminophen. ; $context$ = sent1: that the computer discountenances azide hold. sent2: if the shortbread is a pion then the shellflower does manhandle beagle and does not discountenance acetaminophen. sent3: the fact that the cape is a kind of a pout and it does discountenance ampersand is wrong if the rigging is not an endosperm. sent4: if that something is a kind of a pout that discountenances ampersand is wrong it is not a run-time. sent5: the computer is unswept. sent6: the dagger is a she-devil if the fact that it is not a combine and not a bowls is incorrect. sent7: if the dagger is a she-devil the tophus is thermostatic. sent8: the dagger is not incomplete if the fact that the tophus is a kind of a she-devil and bowls does not hold. sent9: if the fact that the rigging is not a lowercase hold then it is not a kind of an endosperm and does discountenance Delbruck. sent10: that the azide is thermostatic hold if the shellflower manhandles beagle. sent11: if the tophus is thermostatic the azide does manhandle beagle. sent12: if the dagger is not incomplete the bookmark does combine and it is autotrophic. sent13: if the dagger is incomplete then that it is both not a combine and not a bowls is not true. sent14: The acetaminophen does discountenance azide. sent15: the snuffle does not discountenance shipway if something is a kind of unswept thing that does discountenance azide. sent16: the shortbread is a kind of a pion if the insulator is a pion. sent17: the shortbread is thermostatic. sent18: if the snuffle does not discountenance shipway then the fact that the Powhatan is a kind of a capuchin and/or it awes dagger is wrong. sent19: if the dagger is not autotrophic but it is an adobe then it is incomplete. sent20: the dagger is an adobe. sent21: the fact that the dagger is not a combine but a bowls is not right. sent22: the dagger is non-autotrophic an adobe. sent23: the azide does discountenance acetaminophen. sent24: the shortbread is a pion if the insulator does discountenance fibrillation. sent25: if there is something such that it is thermostatic the shellflower is not a she-devil and/or it does not bowl. sent26: if the cape is not a run-time then the insulator either is a kind of a pion or discountenances fibrillation or both. sent27: if there exists something such that the fact that it is a kind of a capuchin or awes dagger or both is false then the rigging is not lowercase. sent28: that the dagger combines and does not bowl is wrong if it is incomplete. ; $proof$ = 
sent19 & sent22 -> int1: the dagger is incomplete.; int1 & sent13 -> int2: the fact that the dagger is not a combine and it is not a bowls does not hold.; int2 & sent6 -> int3: the dagger is a she-devil.; int3 & sent7 -> int4: the fact that the tophus is thermostatic hold.; int4 & sent11 -> int5: the azide manhandles beagle.; int5 & sent23 -> hypothesis; __PROVED__