the fact that the katharobe does repine anchovy if the parliamentarian is apothecial does not hold.
sent1: if the speller does not repine urgency and it is not honest then the parliamentarian is not apothecial. sent2: the katharobe is apothecial. sent3: the speller is honest if it is apothecial. sent4: the anchovy does not repine urgency. sent5: if the katharobe is not playable then the speller does not repine urgency and it is dishonest. sent6: if the katharobe is playable then it is apothecial. sent7: the parliamentarian does not repine anchovy. sent8: something does repine anchovy if it is playable. sent9: if that the speller does not repine urgency and it is not honest is right the parliamentarian is apothecial. sent10: the katharobe is a nettle. sent11: the thunderer does repine anchovy. sent12: if the katharobe is not playable the speller does not repine urgency. sent13: the parliamentarian does not repine Creole. sent14: the katharobe does repine urgency if the speller repines anchovy. sent15: that the speller repines urgency does not hold. sent16: if the speller repines urgency but it is not honest then the fact that the parliamentarian is not apothecial is true. sent17: the katharobe is not a grigri. sent18: something does repine urgency if it repines anchovy. sent19: that the parliamentarian is not playable is true if the katharobe does not repine anchovy and is non-apothecial. sent20: the parliamentarian is a kind of dishonest thing that does not melanize Soleidae.
void -> assump2: Let's assume that the katharobe is not playable.; sent5 & assump2 -> int1: the speller does not repine urgency and is not honest.; int1 & sent1 -> int2: the parliamentarian is not apothecial.; void -> assump1: Let's assume that the parliamentarian is apothecial.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the katharobe is playable is true.; sent8 -> int5: the fact that the katharobe repines anchovy if the katharobe is playable is not wrong.; int4 & int5 -> int6: the katharobe does repine anchovy.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the katharobe does repine anchovy if the parliamentarian is apothecial does not hold. ; $context$ = sent1: if the speller does not repine urgency and it is not honest then the parliamentarian is not apothecial. sent2: the katharobe is apothecial. sent3: the speller is honest if it is apothecial. sent4: the anchovy does not repine urgency. sent5: if the katharobe is not playable then the speller does not repine urgency and it is dishonest. sent6: if the katharobe is playable then it is apothecial. sent7: the parliamentarian does not repine anchovy. sent8: something does repine anchovy if it is playable. sent9: if that the speller does not repine urgency and it is not honest is right the parliamentarian is apothecial. sent10: the katharobe is a nettle. sent11: the thunderer does repine anchovy. sent12: if the katharobe is not playable the speller does not repine urgency. sent13: the parliamentarian does not repine Creole. sent14: the katharobe does repine urgency if the speller repines anchovy. sent15: that the speller repines urgency does not hold. sent16: if the speller repines urgency but it is not honest then the fact that the parliamentarian is not apothecial is true. sent17: the katharobe is not a grigri. sent18: something does repine urgency if it repines anchovy. sent19: that the parliamentarian is not playable is true if the katharobe does not repine anchovy and is non-apothecial. sent20: the parliamentarian is a kind of dishonest thing that does not melanize Soleidae. ; $proof$ = 
void -> assump2: Let's assume that the katharobe is not playable.; sent5 & assump2 -> int1: the speller does not repine urgency and is not honest.; int1 & sent1 -> int2: the parliamentarian is not apothecial.; void -> assump1: Let's assume that the parliamentarian is apothecial.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the katharobe is playable is true.; sent8 -> int5: the fact that the katharobe repines anchovy if the katharobe is playable is not wrong.; int4 & int5 -> int6: the katharobe does repine anchovy.; [assump1] & int6 -> hypothesis; __DISPROVED__