the bookshop is not an edging.
sent1: the bookshop does roughen beryl. sent2: everything is not a NSW and/or it is not a liana. sent3: the bookshop is interdepartmental. sent4: the umbilical is not intramuscular and it is not a NSW. sent5: if the bookshop does not skid hemiacetal and is not a Adelaide then it does not roughen beryl. sent6: the bookshop is not a Adelaide. sent7: everything either is a kind of a NSW or is not a liana or both. sent8: if that the eight is not a Brahe and edges is wrong then the bole is not a liana. sent9: the bookshop is a kind of a NSW and/or is not a liana. sent10: the paparazzo skids hemiacetal. sent11: the diazepam is a VI. sent12: if the bookshop is not a NSW or is not a liana or both then that it is a kind of a Brahe hold. sent13: the bookshop does edge if the eight edge. sent14: if the bookshop is not a kind of a NSW it is a Brahe. sent15: the papaw is apocalyptic. sent16: the bookshop does not skid reorder. sent17: The beryl does roughen bookshop. sent18: if the bookshop is not diamagnetic and/or it is not a Dunkers then it is translatable. sent19: if the bookshop is a Brahe and it is an edging it does not skid hemiacetal.
sent2 -> int1: the bookshop is not a kind of a NSW and/or it is not a kind of a liana.; int1 & sent12 -> int2: the bookshop is a Brahe.; void -> assump1: Let's assume that the bookshop is an edging.; int2 & assump1 -> int3: the bookshop is a Brahe and an edging.; int3 & sent19 -> int4: the bookshop does not skid hemiacetal.; int4 & sent6 -> int5: the bookshop does not skid hemiacetal and it is not a kind of a Adelaide.; int5 & sent5 -> int6: the bookshop does not roughen beryl.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the bole is not a kind of a liana.
$hypothesis$ = the bookshop is not an edging. ; $context$ = sent1: the bookshop does roughen beryl. sent2: everything is not a NSW and/or it is not a liana. sent3: the bookshop is interdepartmental. sent4: the umbilical is not intramuscular and it is not a NSW. sent5: if the bookshop does not skid hemiacetal and is not a Adelaide then it does not roughen beryl. sent6: the bookshop is not a Adelaide. sent7: everything either is a kind of a NSW or is not a liana or both. sent8: if that the eight is not a Brahe and edges is wrong then the bole is not a liana. sent9: the bookshop is a kind of a NSW and/or is not a liana. sent10: the paparazzo skids hemiacetal. sent11: the diazepam is a VI. sent12: if the bookshop is not a NSW or is not a liana or both then that it is a kind of a Brahe hold. sent13: the bookshop does edge if the eight edge. sent14: if the bookshop is not a kind of a NSW it is a Brahe. sent15: the papaw is apocalyptic. sent16: the bookshop does not skid reorder. sent17: The beryl does roughen bookshop. sent18: if the bookshop is not diamagnetic and/or it is not a Dunkers then it is translatable. sent19: if the bookshop is a Brahe and it is an edging it does not skid hemiacetal. ; $proof$ = 
sent2 -> int1: the bookshop is not a kind of a NSW and/or it is not a kind of a liana.; int1 & sent12 -> int2: the bookshop is a Brahe.; void -> assump1: Let's assume that the bookshop is an edging.; int2 & assump1 -> int3: the bookshop is a Brahe and an edging.; int3 & sent19 -> int4: the bookshop does not skid hemiacetal.; int4 & sent6 -> int5: the bookshop does not skid hemiacetal and it is not a kind of a Adelaide.; int5 & sent5 -> int6: the bookshop does not roughen beryl.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__