How to recreate this logical argument(syllogism) using logical operators and any statements and data-types in C#

Question

1. This cake is either vanilla or chocolate.

This cake is not chocolate. Therefore, this cake is vanilla.

1. All men are mortal
<