A solution to that particular example is already in logic—the statements “Elaine is a post-utopian” and “the Earth is round” can be evaluated separately, and then you just need a separate rule for dealing with conjunctions.
A solution to that particular example is already in logic—the statements “Elaine is a post-utopian” and “the Earth is round” can be evaluated separately, and then you just need a separate rule for dealing with conjunctions.