Theorem 2: Rabbits are cannibals.
Proof: Rabbits vegetables. Per transitivity of being a vegetarian, rabbits are vegetables. Hence, rabbits eat rabbits.
Theorem 2: Rabbits are cannibals.
Proof: Rabbits vegetables. Per transitivity of being a vegetarian, rabbits are vegetables. Hence, rabbits eat rabbits.