The bulk update request #1277 is active.
create implication anal_juice (1) -> bodily_fluids (1444102)
Reason: We shall take the following statements as axioms:
- Any juice is a fluid.
- The anus is located in the body.
- Any fluid that has its origin in the body is a bodily fluid.
If anal_juice is not a fluid, the first axiom is violated.
If anal_juice is not bodily, the second axiom is violated.
Therefore, anal_juice is a fluid that has its origin in the body.
If anal_juice is not a bodily fluid, the third axiom is violated.
Q.E.D.
EDIT: The bulk update request #1277 (forum #315996) has been approved by @Rainbow_Dash.
Updated by auto moderator