the color is a souring or it is not algal or both.
sent1: the fact that either something does sour or it is not algal or both does not hold if the fact that it is a Meuse hold. sent2: if there is something such that the fact that it does clap custodianship and is a hemerobiid is false then the ununbium does not disguise ununbium. sent3: the specialization does not barricade transferability. sent4: if there is something such that it does not clap custodianship the color does disguise ununbium. sent5: if the specialization does not barricade transferability then it does not disguise soldierfish. sent6: the color disguises kibitzer and rehashes if it is not a Meuse. sent7: that the color exults is not wrong. sent8: that the grad is not a steamboat and not a union does not hold if there exists something such that it does not disguise soldierfish. sent9: that something is both not non-slow and not immanent does not hold if it is not a kind of a ligne. sent10: something does not disguise ununbium if it disguises kibitzer and it is a rehash. sent11: the fact that something does clap custodianship and is a hemerobiid is false if it is not slow. sent12: the mestiza is non-slow if there exists something such that that it is non-slow but not immanent is not true. sent13: if the fact that something is not a steamboat and is not union does not hold the fact that it is not a kind of a ligne is correct. sent14: if the color is a Meuse then that it is algal is correct. sent15: there exists something such that it does not clap custodianship. sent16: if the color does not barricade Bellini it is a upholder. sent17: the soldierfish does rehash. sent18: the color is algal. sent19: something is a kind of a flare.
void -> assump1: Let's assume that the color is not a kind of a Meuse.; sent6 & assump1 -> int1: the color does disguise kibitzer and it is a rehash.; sent10 -> int2: the color does not disguise ununbium if it disguises kibitzer and is a rehash.; int1 & int2 -> int3: the color does not disguise ununbium.; sent15 & sent4 -> int4: the color disguises ununbium.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the color is a kind of a Meuse.; sent1 -> int7: if the color is a kind of a Meuse the fact that it sours and/or it is not algal is false.; int6 & int7 -> hypothesis;
the color is a kind of a souring and/or is not algal.
sent11 -> int8: if the mestiza is not slow then the fact that it claps custodianship and is a hemerobiid does not hold.; sent9 -> int9: the fact that the grad slows but it is not immanent does not hold if it is not a ligne.; sent13 -> int10: if that the grad is not a steamboat and is not union is not true the fact that it is a ligne does not hold.; sent5 & sent3 -> int11: the specialization does not disguise soldierfish.; int11 -> int12: there exists something such that it does not disguise soldierfish.; int12 & sent8 -> int13: that that the grad is not a kind of a steamboat and it is not a union is not true is not false.; int10 & int13 -> int14: the grad is not a kind of a ligne.; int9 & int14 -> int15: the fact that the grad slows but it is not immanent is wrong.; int15 -> int16: there exists something such that that it does slow and it is not immanent is incorrect.; int16 & sent12 -> int17: the mestiza does not slow.; int8 & int17 -> int18: that the mestiza does clap custodianship and is a hemerobiid is not true.; int18 -> int19: there is something such that the fact that it does clap custodianship and it is a hemerobiid is incorrect.; int19 & sent2 -> int20: the ununbium does not disguise ununbium.; int20 -> int21: there exists something such that that it does not disguise ununbium hold.;
$hypothesis$ = the color is a souring or it is not algal or both. ; $context$ = sent1: the fact that either something does sour or it is not algal or both does not hold if the fact that it is a Meuse hold. sent2: if there is something such that the fact that it does clap custodianship and is a hemerobiid is false then the ununbium does not disguise ununbium. sent3: the specialization does not barricade transferability. sent4: if there is something such that it does not clap custodianship the color does disguise ununbium. sent5: if the specialization does not barricade transferability then it does not disguise soldierfish. sent6: the color disguises kibitzer and rehashes if it is not a Meuse. sent7: that the color exults is not wrong. sent8: that the grad is not a steamboat and not a union does not hold if there exists something such that it does not disguise soldierfish. sent9: that something is both not non-slow and not immanent does not hold if it is not a kind of a ligne. sent10: something does not disguise ununbium if it disguises kibitzer and it is a rehash. sent11: the fact that something does clap custodianship and is a hemerobiid is false if it is not slow. sent12: the mestiza is non-slow if there exists something such that that it is non-slow but not immanent is not true. sent13: if the fact that something is not a steamboat and is not union does not hold the fact that it is not a kind of a ligne is correct. sent14: if the color is a Meuse then that it is algal is correct. sent15: there exists something such that it does not clap custodianship. sent16: if the color does not barricade Bellini it is a upholder. sent17: the soldierfish does rehash. sent18: the color is algal. sent19: something is a kind of a flare. ; $proof$ = 
void -> assump1: Let's assume that the color is not a kind of a Meuse.; sent6 & assump1 -> int1: the color does disguise kibitzer and it is a rehash.; sent10 -> int2: the color does not disguise ununbium if it disguises kibitzer and is a rehash.; int1 & int2 -> int3: the color does not disguise ununbium.; sent15 & sent4 -> int4: the color disguises ununbium.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the color is a kind of a Meuse.; sent1 -> int7: if the color is a kind of a Meuse the fact that it sours and/or it is not algal is false.; int6 & int7 -> hypothesis; __DISPROVED__