the palette is not a nidus.
sent1: the credence is chorionic if the waterside is chorionic. sent2: the palette is chorionic. sent3: if the greyhen is not an emergency then the credence is a kind of non-chorionic thing that is an emergency. sent4: the greyhen is chorionic. sent5: the palette is a nidus if the greyhen is not a saw but chorionic. sent6: if the greyhen is a doddering and it sees the credence is not a kind of an emergency. sent7: if the jiqui is not structural then that it is undynamic and it is not a freelancer does not hold. sent8: the greyhen is undynamic. sent9: something that is not a freelancer is both undynamic and a nidus. sent10: the fact that the waterside is a kind of dynamic an emergency is incorrect. sent11: the waterside is not a doddering but it is an emergency. sent12: if that something is a doddering is not false it is not a nidus. sent13: the fact that the birdhouse is chorionic is right. sent14: the abattoir is a kind of an emergency and is a kind of a doddering if the greyhen is not chorionic. sent15: the credence is not a freelancer. sent16: the greyhen is a kind of a doddering. sent17: if the credence is not an emergency then the waterside is an emergency. sent18: if the credence is not an emergency the waterside is not undynamic and is a kind of an emergency. sent19: the fact that the greyhen is not an emergency and/or does not see is not true if the credence is chorionic. sent20: if something is a kind of a doddering then that it is not a brawler and it sees is not correct. sent21: the waterside is an emergency. sent22: if the flotation is a keyboard but it does not pity Rachel the jiqui is not structural.
void -> assump1: Let's assume that the greyhen does see.; sent16 & assump1 -> int1: the greyhen is a doddering and it is a kind of a saw.; int1 & sent6 -> int2: the credence is not a kind of an emergency.; int2 & sent18 -> int3: the waterside is not undynamic but it is an emergency.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the greyhen does not see.; int5 & sent4 -> int6: the greyhen is not a saw but it is chorionic.; int6 & sent5 -> hypothesis;
the palette is not a nidus.
sent12 -> int7: if the palette is a kind of a doddering then it is not a kind of a nidus.;
$hypothesis$ = the palette is not a nidus. ; $context$ = sent1: the credence is chorionic if the waterside is chorionic. sent2: the palette is chorionic. sent3: if the greyhen is not an emergency then the credence is a kind of non-chorionic thing that is an emergency. sent4: the greyhen is chorionic. sent5: the palette is a nidus if the greyhen is not a saw but chorionic. sent6: if the greyhen is a doddering and it sees the credence is not a kind of an emergency. sent7: if the jiqui is not structural then that it is undynamic and it is not a freelancer does not hold. sent8: the greyhen is undynamic. sent9: something that is not a freelancer is both undynamic and a nidus. sent10: the fact that the waterside is a kind of dynamic an emergency is incorrect. sent11: the waterside is not a doddering but it is an emergency. sent12: if that something is a doddering is not false it is not a nidus. sent13: the fact that the birdhouse is chorionic is right. sent14: the abattoir is a kind of an emergency and is a kind of a doddering if the greyhen is not chorionic. sent15: the credence is not a freelancer. sent16: the greyhen is a kind of a doddering. sent17: if the credence is not an emergency then the waterside is an emergency. sent18: if the credence is not an emergency the waterside is not undynamic and is a kind of an emergency. sent19: the fact that the greyhen is not an emergency and/or does not see is not true if the credence is chorionic. sent20: if something is a kind of a doddering then that it is not a brawler and it sees is not correct. sent21: the waterside is an emergency. sent22: if the flotation is a keyboard but it does not pity Rachel the jiqui is not structural. ; $proof$ = 
void -> assump1: Let's assume that the greyhen does see.; sent16 & assump1 -> int1: the greyhen is a doddering and it is a kind of a saw.; int1 & sent6 -> int2: the credence is not a kind of an emergency.; int2 & sent18 -> int3: the waterside is not undynamic but it is an emergency.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the greyhen does not see.; int5 & sent4 -> int6: the greyhen is not a saw but it is chorionic.; int6 & sent5 -> hypothesis; __DISPROVED__