Fight for a Snack: Problem I have an apple, a banana and a carrot. My neighbor on the left fights with me for the apple; maybe he will succeed in taking it away from me, maybe he won't. After that, my neighbor on the right fights with me for the banana. After these two events, who are the possible owners of the apple, the banana and the carrot? Represent this commonsense reasoning problem in an implemented declarative language, and use the implementation to generate the answer to the question above.