SV: The decision-making process for a Captain during a match. Theorem: + If the pitch shows significant wear and the ball is spinning, then a spin bowler should be introduced. + If a batsman has scored zero runs after facing twenty balls, then the run rate is below the required threshold. CounterSatisfiable: The fielding team will win the match if they take a wicket in the first over. CC: My "going out" rule + I go out only if I've finished my highest-priority task + If it is a weeknight and I go out, then I am home by 11pm. + Weeknights are Monday–Thursday. + I go out only if it won't make me late for class/work the next day. Theorem: + If I haven't finished my top task, then I don't go out. + If I go out on a weeknight, then I must be home by midnight. CounterSatisfiable: + That going out will be “worth it” or "fun." KC: Asher, Luna, and Tukaa are dogs. Korinne is the owner of Asher and Luna. Hannah is the owner of Tuka. They are all on a hike. Asher is not a bad listener, but Asher was distracted by a squirrel. If a dog is distracted, then it is either a bad listener or their owner has another dog who also got distracted. Theorem: + There is another dog, other than Asher, that was distracted. + If no dog on the hike is a bad listener, then every dog owned by Korinne must have been distracted. CounterSatisfiable: + Every dog that was distracted is a bad listener. PA: Fantasy football + Every fantasy matchup has two teams: a team and its opponent. + Each team has a total score that is the sum of the points scored by the players on that team. + Scoring is based on touchdowns (received or thrown), yards (rushed, or received), and etc.... + If a team's total score is greater than its opponent's score in a matchup, then that team wins the matchup. + A player contributes to a team's score if and only if the player scores more than zero points. + If a player scores zero points, the player contributes zero points to the team's total score. Theorem: + If my team's total score is greater than my opponent's score, then my team wins the matchup. + If a player scores zero points, then they do not contribute to the team's score. CounterSatisfiable: + My team will win the fantasy football league this season. KS: Groceries + What food or ingredients at home that can make a healthy, balanced meal + If I have ingredients in my fridge that I can use to make dinner, then I should not go to the grocery store yet. + If I have food in the freezer that needs to defrost, I should take it out at least 1 day before to make sure it defrosts in time. Theorem: + If i do not have any food ready to be prepared, then I should run to the grocery store. CounterSatisfiable: + Ensuring what I want to eat that night, or what I am "in the mood for" MK: Using a shared coffee maker. + I cannot get coffee unless I use the coffee maker. + My roommate and I cannot both use the coffee maker at the same time. Theorem: + If I get coffee, then I used the coffee maker. + If my roommate is using the coffee maker, then I cannot get coffee. CounterSatisfiable: + I will get coffee tomorrow. NB: Raising Canes + If I order from Raising Cane's, then I will get chicken fingers. + If I order from Raising Cane's, then I will get Cane's sauce. Theorem: + I ordered from Raising Cane's therefore I will get chicken fingers. + I ordered from Raising Cane's therefore I will get chicken fingers and Cane's sauce. CounterSatisfiable: + I got chicken fingers therefore I ordered from Raising Cane's GW: Happy people + If Marie is happy then Maya is happy + Gita is happy or Maya is happy + If Gita is happy, then Kiran is happy + Kiran is not happy Theorem: + Maya is happy + Gita is not happy CounterSatisfiable: + Marie is happy BB: Love + Nothing is better than being in love. + A peanut butter and jelly sandwich is better than nothing. Theorem: + A peanut butter and jelly is better than being in love. BB: Not a brain + I know that I have hands. + If I know that I have hands, then I know that I am not a brain in a vat being stimulated by an evil scientist to believe that there is a world around me (as in the Matrix). Theorem: + I know that I am not a brain in a vat. BB: Maximally great being + It is possible that a maximally great being exists. + If it is possible that a maximally great being exists, then it is possibly necessary that a maximally great being exists. + If it is possibly necessary that a maximally great being exists, then it is necessary that a maximally great being exists. + If it is necessary that a maximally great being exists, then a maximally great being exists. Theorem: + A maximally great being exists. CA: The "Academic-Social" aspect of being a 20-year-old student here at UMiami. It's basically the logic of balancing a scholarship-level GPA with a survival-level social life in Coral Gables. + The total time T is fixed at 24 hours + I have to balance S (Social/Sun), A (Academics), and R (Rest). + During finals, my productivity P is a direct function of my caffeine intake c and finding an open power outlet o. Theorem: + If all my Friday assignments are submitted, then the probability of me being out in the Grove or Wynwood has to be 1.0. + If either C or O is 0, my productivity is 0. CounterSatisfiable: + My GPA goes down just because my time at the pool goes up. (I'm trying to prove that "Beach Time" and "Dean's List" can actually coexist.) YA: Class schedule + Yestin is a student. + Yestin could not sign up for the waitlist for the CIM383 course. + The registration deadline for the CIM383 course has not passed. + Professor Zevensuy teaches the CIM383 course. + For all students and courses, if a student cannot sign up for the waitlist of a course, then either the registration deadline has passed or the course has no waitlist availability. + For all students, courses, and professors, if a course is taught by a professor and a student could not sign up because the course has no waitlist availability, the student can email the professor who teaches the course to ask about adding a seat. Theorem: + CIM383 has no waitlist availability. + Yestin can email Professor Zevensuy to ask about adding a seat for CIM383. CounterSatisfiable: + Yestin is the only student trying to register for CIM383.