the liqueur is not riparian.
sent1: if the switchboard is not a autosome then the coffer is a autosome and it is a kind of a ligation. sent2: the fact that something is not numerological and it is not a ligation does not hold if it is a autosome. sent3: the switchboard is not a autosome if the liqueur is both a Malian and tibial. sent4: there is something such that the fact that it does descry Dicrostonyx and is a Scartella is not right. sent5: the coffer is not a kind of a NH and it is not a autosome if something is a badge. sent6: if the liqueur is not Malian but tibial the switchboard is not a autosome. sent7: if the liqueur is numerological it is both not a Malian and tibial. sent8: the liqueur is not a topology and it is not a NH if there is something such that it is numerological. sent9: the switchboard is not a NH if it is a kind of a autosome. sent10: if there exists something such that that it is not a kind of a badge and it is not a Scartella is not right then the trompillo does badge. sent11: there exists something such that the fact that it is not a badge and it is not a Scartella does not hold. sent12: something is riparian if it is not numerological. sent13: if something is not riparian or is a autosome or both then that it is not riparian is correct. sent14: the switchboard does not badge if there exists something such that that it does descry Dicrostonyx and it is a kind of a Scartella is not true. sent15: if that something is not numerological and not a ligation does not hold it is numerological.
void -> assump1: Let's assume that the liqueur is numerological.; sent7 & assump1 -> int1: the liqueur is non-Malian and not non-tibial.; int1 & sent6 -> int2: the switchboard is not a kind of a autosome.; int2 & sent1 -> int3: the coffer is a autosome and it is a ligation.; int3 -> int4: the coffer is a kind of a autosome.; sent11 & sent10 -> int5: the trompillo does badge.; int5 -> int6: something is a kind of a badge.; int6 & sent5 -> int7: that the coffer is not a kind of a NH and it is not a kind of a autosome hold.; int7 -> int8: the coffer is not a kind of a autosome.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the liqueur is not numerological.; sent12 -> int11: if the liqueur is not numerological then it is riparian.; int10 & int11 -> hypothesis;
the liqueur is not riparian.
sent13 -> int12: if the liqueur either is not riparian or is a autosome or both it is not riparian.;
$hypothesis$ = the liqueur is not riparian. ; $context$ = sent1: if the switchboard is not a autosome then the coffer is a autosome and it is a kind of a ligation. sent2: the fact that something is not numerological and it is not a ligation does not hold if it is a autosome. sent3: the switchboard is not a autosome if the liqueur is both a Malian and tibial. sent4: there is something such that the fact that it does descry Dicrostonyx and is a Scartella is not right. sent5: the coffer is not a kind of a NH and it is not a autosome if something is a badge. sent6: if the liqueur is not Malian but tibial the switchboard is not a autosome. sent7: if the liqueur is numerological it is both not a Malian and tibial. sent8: the liqueur is not a topology and it is not a NH if there is something such that it is numerological. sent9: the switchboard is not a NH if it is a kind of a autosome. sent10: if there exists something such that that it is not a kind of a badge and it is not a Scartella is not right then the trompillo does badge. sent11: there exists something such that the fact that it is not a badge and it is not a Scartella does not hold. sent12: something is riparian if it is not numerological. sent13: if something is not riparian or is a autosome or both then that it is not riparian is correct. sent14: the switchboard does not badge if there exists something such that that it does descry Dicrostonyx and it is a kind of a Scartella is not true. sent15: if that something is not numerological and not a ligation does not hold it is numerological. ; $proof$ = 
void -> assump1: Let's assume that the liqueur is numerological.; sent7 & assump1 -> int1: the liqueur is non-Malian and not non-tibial.; int1 & sent6 -> int2: the switchboard is not a kind of a autosome.; int2 & sent1 -> int3: the coffer is a autosome and it is a ligation.; int3 -> int4: the coffer is a kind of a autosome.; sent11 & sent10 -> int5: the trompillo does badge.; int5 -> int6: something is a kind of a badge.; int6 & sent5 -> int7: that the coffer is not a kind of a NH and it is not a kind of a autosome hold.; int7 -> int8: the coffer is not a kind of a autosome.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the liqueur is not numerological.; sent12 -> int11: if the liqueur is not numerological then it is riparian.; int10 & int11 -> hypothesis; __DISPROVED__