the bluethroat is not allergic.
sent1: that the otterhound is a mask but it does not bumble does not hold. sent2: if the germanium is not a kind of a disinformation then the heckler is a kind of a paygrade and is nonfatal. sent3: the bluethroat does not congratulate proximity. sent4: that the divot is a paygrade if the heckler is a kind of a paygrade hold. sent5: if the bluethroat does not wane then it is allergic. sent6: the bluethroat is not a kind of a paygrade and does not congratulate proximity. sent7: if the fact that something congratulates heckler but it is not allergic is false then it does not wane. sent8: that the germanium does not ramble and it is not a kind of a Franciscan is not right if the otterhound is not a mask. sent9: the fact that the divot congratulates heckler and is non-allergic is wrong if the bluethroat is not peaceable. sent10: everything nicks. sent11: if that the bluethroat wanes is right then it does corrupt. sent12: if something does not congratulate heckler it does not congratulate proximity. sent13: something is not allergic if that it is not a paygrade and/or does not wane is not correct. sent14: if something is a nick then it is not peaceable. sent15: if that something is not a kind of a ramble and it is not a Franciscan is not right then it is not a kind of a disinformation. sent16: the bluethroat is a kind of a paygrade if it wanes. sent17: the convolvulus does congratulate proximity. sent18: if that the otterhound masks and does not bumble is wrong then the fact that it is not a masks is not incorrect. sent19: that the greenery is not a paygrade is not wrong.
void -> assump1: Let's assume that the bluethroat does wane.; sent16 & assump1 -> int1: the bluethroat is a paygrade.; sent6 -> int2: the bluethroat is not a paygrade.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bluethroat does not wane.; int4 & sent5 -> hypothesis;
the bluethroat is not allergic.
sent13 -> int5: if the fact that the bluethroat is not a kind of a paygrade or it does not wane or both is not true then it is not allergic.; sent12 -> int6: if the bluethroat does not congratulate heckler then it does not congratulate proximity.;
$hypothesis$ = the bluethroat is not allergic. ; $context$ = sent1: that the otterhound is a mask but it does not bumble does not hold. sent2: if the germanium is not a kind of a disinformation then the heckler is a kind of a paygrade and is nonfatal. sent3: the bluethroat does not congratulate proximity. sent4: that the divot is a paygrade if the heckler is a kind of a paygrade hold. sent5: if the bluethroat does not wane then it is allergic. sent6: the bluethroat is not a kind of a paygrade and does not congratulate proximity. sent7: if the fact that something congratulates heckler but it is not allergic is false then it does not wane. sent8: that the germanium does not ramble and it is not a kind of a Franciscan is not right if the otterhound is not a mask. sent9: the fact that the divot congratulates heckler and is non-allergic is wrong if the bluethroat is not peaceable. sent10: everything nicks. sent11: if that the bluethroat wanes is right then it does corrupt. sent12: if something does not congratulate heckler it does not congratulate proximity. sent13: something is not allergic if that it is not a paygrade and/or does not wane is not correct. sent14: if something is a nick then it is not peaceable. sent15: if that something is not a kind of a ramble and it is not a Franciscan is not right then it is not a kind of a disinformation. sent16: the bluethroat is a kind of a paygrade if it wanes. sent17: the convolvulus does congratulate proximity. sent18: if that the otterhound masks and does not bumble is wrong then the fact that it is not a masks is not incorrect. sent19: that the greenery is not a paygrade is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the bluethroat does wane.; sent16 & assump1 -> int1: the bluethroat is a paygrade.; sent6 -> int2: the bluethroat is not a paygrade.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bluethroat does not wane.; int4 & sent5 -> hypothesis; __DISPROVED__