the basilisk does not weave.
sent1: if the membrane is not a livery the basilisk is not a woven. sent2: there exists something such that that it is an awed and it is an orient is false. sent3: if the Lhasa is unsupportive the fact that the membrane is a kind of a livery does not hold. sent4: something that is not a livery and/or is a kind of a aalii is not a livery. sent5: the fact that something awes and it orients hold. sent6: if there is something such that the fact that it is both an awed and an orient is not right then the Lhasa is unsupportive. sent7: the Lhasa does not weave if the membrane is a livery and it is unsupportive. sent8: if there is something such that it does not orient the Lhasa is unsupportive.
sent2 & sent6 -> int1: the Lhasa is unsupportive.; sent3 & int1 -> int2: the membrane is not a livery.; sent1 & int2 -> hypothesis;
the basilisk is a kind of a woven.
sent4 -> int3: if the Lhasa is not a kind of a livery or is a aalii or both then it is not a livery.;
$hypothesis$ = the basilisk does not weave. ; $context$ = sent1: if the membrane is not a livery the basilisk is not a woven. sent2: there exists something such that that it is an awed and it is an orient is false. sent3: if the Lhasa is unsupportive the fact that the membrane is a kind of a livery does not hold. sent4: something that is not a livery and/or is a kind of a aalii is not a livery. sent5: the fact that something awes and it orients hold. sent6: if there is something such that the fact that it is both an awed and an orient is not right then the Lhasa is unsupportive. sent7: the Lhasa does not weave if the membrane is a livery and it is unsupportive. sent8: if there is something such that it does not orient the Lhasa is unsupportive. ; $proof$ = 
sent2 & sent6 -> int1: the Lhasa is unsupportive.; sent3 & int1 -> int2: the membrane is not a livery.; sent1 & int2 -> hypothesis; __PROVED__