that the shark is a mulberry and is a kind of a whopper is false.
sent1: if the boomer is a midnight the fact that the glyceryl is not a midnight and it does not brad amble is not true. sent2: the shark is not a kind of a midnight but it is a kind of a mulberry if there exists something such that it does brad amble. sent3: there exists something such that either it does brad amble or it is virulent or both. sent4: the glyceryl is not virulent if the fact that either the caressing masters Anguillan or it is a Manichaean or both is correct. sent5: if the boomer does master sheriff then it is a kind of a midnight. sent6: that the shark is a mulberry and is a whopper does not hold if the Anguillan is not a whopper. sent7: the fact that the Anguillan is not a kind of a whopper and masters Meropidae is true if the boomer does not master sheriff. sent8: the fact that the shark is a whopper that masters Anguillan is incorrect. sent9: if either the caressing does master Meropidae or it masters Anguillan or both then the Anguillan is not a kind of a whopper. sent10: the glyceryl is not pugilistic but it is anaclinal. sent11: either the caressing does master Anguillan or it is a kind of a Manichaean or both. sent12: the Anguillan does master Meropidae and/or is a kind of a Manichaean. sent13: something is not a kind of a midnight and it does not brad amble if it is not virulent. sent14: the boomer brads amble if there exists something such that it brads amble or it is virulent or both. sent15: the shark is not a Manichaean. sent16: if something is a whopper and/or it does not master sheriff it is a kind of a whopper. sent17: that either the Anguillan is a kind of a whopper or it brads amble or both is right. sent18: the glyceryl is a Manichaean.
void -> assump1: Let's assume that the boomer masters sheriff.; sent5 & assump1 -> int1: the boomer is a kind of a midnight.; int1 & sent1 -> int2: that the glyceryl is not a midnight and does not brad amble is incorrect.; sent13 -> int3: if the glyceryl is not virulent it is not a midnight and it does not brad amble.; sent4 & sent11 -> int4: the fact that the glyceryl is non-virulent hold.; int3 & int4 -> int5: the glyceryl is not a midnight and does not brad amble.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the boomer does not master sheriff.; int7 & sent7 -> int8: the Anguillan is not a whopper but it masters Meropidae.; int8 -> int9: that the Anguillan is not a whopper is correct.; int9 & sent6 -> hypothesis;
the shark is a mulberry and it is a whopper.
sent3 & sent14 -> int10: the boomer does brad amble.; int10 -> int11: there exists something such that it does brad amble.; int11 & sent2 -> int12: the shark is not a midnight but it is a mulberry.; int12 -> int13: the shark is a kind of a mulberry.; sent16 -> int14: the shark is a whopper if it either is a whopper or does not master sheriff or both.;
$hypothesis$ = that the shark is a mulberry and is a kind of a whopper is false. ; $context$ = sent1: if the boomer is a midnight the fact that the glyceryl is not a midnight and it does not brad amble is not true. sent2: the shark is not a kind of a midnight but it is a kind of a mulberry if there exists something such that it does brad amble. sent3: there exists something such that either it does brad amble or it is virulent or both. sent4: the glyceryl is not virulent if the fact that either the caressing masters Anguillan or it is a Manichaean or both is correct. sent5: if the boomer does master sheriff then it is a kind of a midnight. sent6: that the shark is a mulberry and is a whopper does not hold if the Anguillan is not a whopper. sent7: the fact that the Anguillan is not a kind of a whopper and masters Meropidae is true if the boomer does not master sheriff. sent8: the fact that the shark is a whopper that masters Anguillan is incorrect. sent9: if either the caressing does master Meropidae or it masters Anguillan or both then the Anguillan is not a kind of a whopper. sent10: the glyceryl is not pugilistic but it is anaclinal. sent11: either the caressing does master Anguillan or it is a kind of a Manichaean or both. sent12: the Anguillan does master Meropidae and/or is a kind of a Manichaean. sent13: something is not a kind of a midnight and it does not brad amble if it is not virulent. sent14: the boomer brads amble if there exists something such that it brads amble or it is virulent or both. sent15: the shark is not a Manichaean. sent16: if something is a whopper and/or it does not master sheriff it is a kind of a whopper. sent17: that either the Anguillan is a kind of a whopper or it brads amble or both is right. sent18: the glyceryl is a Manichaean. ; $proof$ = 
void -> assump1: Let's assume that the boomer masters sheriff.; sent5 & assump1 -> int1: the boomer is a kind of a midnight.; int1 & sent1 -> int2: that the glyceryl is not a midnight and does not brad amble is incorrect.; sent13 -> int3: if the glyceryl is not virulent it is not a midnight and it does not brad amble.; sent4 & sent11 -> int4: the fact that the glyceryl is non-virulent hold.; int3 & int4 -> int5: the glyceryl is not a midnight and does not brad amble.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the boomer does not master sheriff.; int7 & sent7 -> int8: the Anguillan is not a whopper but it masters Meropidae.; int8 -> int9: that the Anguillan is not a whopper is correct.; int9 & sent6 -> hypothesis; __PROVED__