that the LSD is a quarters but it is not a kind of a sailor does not hold.
sent1: the candy does not roll idolatry if it quarters. sent2: if something is not a Horus then the fact that it is a quarters and it is not a kind of a sailor is wrong. sent3: the LSD is not evergreen. sent4: the fact that the LSD does not camber boredom is not wrong if it is a kind of a sailor. sent5: the LSD is a Horus and it is citrous if the swag does not camber boredom. sent6: if that the fact that the LSD is a kind of a quarters but it is not a kind of a sailor hold is not right then it does not camber boredom. sent7: the fact that the swag does not camber boredom hold if the axolotl camber boredom and is a kind of a thrombus. sent8: that the LSD is a Horus and it does camber boredom hold. sent9: if that the windmill is a encumbrance and it is agraphic is false the fact that the mortise does not roll pasha hold.
void -> assump1: Let's assume that the fact that the LSD quarters but it is not a kind of a sailor is incorrect.; sent6 & assump1 -> int1: the LSD does not camber boredom.; sent8 -> int2: the LSD does camber boredom.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the LSD is citrous.
$hypothesis$ = that the LSD is a quarters but it is not a kind of a sailor does not hold. ; $context$ = sent1: the candy does not roll idolatry if it quarters. sent2: if something is not a Horus then the fact that it is a quarters and it is not a kind of a sailor is wrong. sent3: the LSD is not evergreen. sent4: the fact that the LSD does not camber boredom is not wrong if it is a kind of a sailor. sent5: the LSD is a Horus and it is citrous if the swag does not camber boredom. sent6: if that the fact that the LSD is a kind of a quarters but it is not a kind of a sailor hold is not right then it does not camber boredom. sent7: the fact that the swag does not camber boredom hold if the axolotl camber boredom and is a kind of a thrombus. sent8: that the LSD is a Horus and it does camber boredom hold. sent9: if that the windmill is a encumbrance and it is agraphic is false the fact that the mortise does not roll pasha hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the LSD quarters but it is not a kind of a sailor is incorrect.; sent6 & assump1 -> int1: the LSD does not camber boredom.; sent8 -> int2: the LSD does camber boredom.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__