the fact that if the cheroot is a orach then either the tachylite is a symposiast or it does not rendezvous Dubonnet or both does not hold.
sent1: the tachylite is a denomination. sent2: if that the cheroot is a denomination is not incorrect then the tachylite is a apostleship or it is a symposiast or both. sent3: the cheroot either is a kind of a symposiast or does not rendezvous Dubonnet or both if the tachylite is a apostleship. sent4: if the tachylite is a kind of a apostleship the cheroot is a symposiast and/or it is not a kind of a denomination. sent5: if something is not a kind of a orach but it is a symposiast that it does rendezvous Dubonnet hold. sent6: if something is not a kind of a denomination and is a kind of a apostleship then it is a sandwort. sent7: if something is not a symposiast and not a denomination then it is a orach. sent8: the tachylite is not a kind of a orach. sent9: the cheroot either does rendezvous Dubonnet or is a kind of a orach or both. sent10: the cheroot is not a kind of a orach if the fact that it is not a denomination and not a apostleship is wrong. sent11: the tachylite is a germanite or it does not render single-leaf or both. sent12: the treasury does not rendezvous Dubonnet. sent13: if something is not a denomination and it is not a apostleship then it is a sandwort. sent14: the fact that that the cheroot is not a apostleship but it is a symposiast is correct is incorrect. sent15: if the cheroot is not a symposiast and it does not rendezvous Dubonnet it is a apostleship. sent16: the tachylite is a symposiast and/or does rendezvous Dubonnet if the cheroot is a orach. sent17: if the tachylite is both not a denomination and a symposiast then it is a kind of a orach. sent18: the tachylite is a symposiast and/or it does not rendezvous Dubonnet if the cheroot is a sandwort. sent19: if something does not pleach bohemianism and it does not render background then it is a housefather. sent20: the background is not a samekh and it does not derail. sent21: the jaeger is athletic or it is not a apostleship or both. sent22: the tachylite is not a symposiast if it is a kind of a denomination. sent23: the tachylite is not a conscience.
void -> assump2: Let's assume that that the cheroot is both not a denomination and not a apostleship is false.; sent10 & assump2 -> int1: the cheroot is not a orach.; void -> assump1: Let's assume that the cheroot is a orach.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cheroot is both not a denomination and not a apostleship.; sent13 -> int4: if that the cheroot is not a kind of a denomination and is not a kind of a apostleship is not false then it is a sandwort.; int3 & int4 -> int5: the cheroot is a sandwort.; int5 & sent18 -> int6: the tachylite is a symposiast and/or it does not rendezvous Dubonnet.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that if the cheroot is a orach then either the tachylite is a symposiast or it does not rendezvous Dubonnet or both does not hold. ; $context$ = sent1: the tachylite is a denomination. sent2: if that the cheroot is a denomination is not incorrect then the tachylite is a apostleship or it is a symposiast or both. sent3: the cheroot either is a kind of a symposiast or does not rendezvous Dubonnet or both if the tachylite is a apostleship. sent4: if the tachylite is a kind of a apostleship the cheroot is a symposiast and/or it is not a kind of a denomination. sent5: if something is not a kind of a orach but it is a symposiast that it does rendezvous Dubonnet hold. sent6: if something is not a kind of a denomination and is a kind of a apostleship then it is a sandwort. sent7: if something is not a symposiast and not a denomination then it is a orach. sent8: the tachylite is not a kind of a orach. sent9: the cheroot either does rendezvous Dubonnet or is a kind of a orach or both. sent10: the cheroot is not a kind of a orach if the fact that it is not a denomination and not a apostleship is wrong. sent11: the tachylite is a germanite or it does not render single-leaf or both. sent12: the treasury does not rendezvous Dubonnet. sent13: if something is not a denomination and it is not a apostleship then it is a sandwort. sent14: the fact that that the cheroot is not a apostleship but it is a symposiast is correct is incorrect. sent15: if the cheroot is not a symposiast and it does not rendezvous Dubonnet it is a apostleship. sent16: the tachylite is a symposiast and/or does rendezvous Dubonnet if the cheroot is a orach. sent17: if the tachylite is both not a denomination and a symposiast then it is a kind of a orach. sent18: the tachylite is a symposiast and/or it does not rendezvous Dubonnet if the cheroot is a sandwort. sent19: if something does not pleach bohemianism and it does not render background then it is a housefather. sent20: the background is not a samekh and it does not derail. sent21: the jaeger is athletic or it is not a apostleship or both. sent22: the tachylite is not a symposiast if it is a kind of a denomination. sent23: the tachylite is not a conscience. ; $proof$ = 
void -> assump2: Let's assume that that the cheroot is both not a denomination and not a apostleship is false.; sent10 & assump2 -> int1: the cheroot is not a orach.; void -> assump1: Let's assume that the cheroot is a orach.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the cheroot is both not a denomination and not a apostleship.; sent13 -> int4: if that the cheroot is not a kind of a denomination and is not a kind of a apostleship is not false then it is a sandwort.; int3 & int4 -> int5: the cheroot is a sandwort.; int5 & sent18 -> int6: the tachylite is a symposiast and/or it does not rendezvous Dubonnet.; [assump1] & int6 -> hypothesis; __DISPROVED__