(ΛΙ5 - Πνευματική Ιδιοκτησία CIPE - Απαγορεύεται η αναμετάδοση {first_name} {last_name} {date} {username})

Δηλώσεις:

  1. Κάποια Δέντρα είναι Χαρτί
  2. Μερικά Χαρτιά είναι Πέννες
  3. Όλες οι Πέννες είναι Αυτοκίνητα
  4. Όλα τα Αυτοκίνητα είναι Φορτηγά
  5. Κανένα Φορτηγό δεν είναι Ποδήλατο
Πρώτο Βασικό Διάγραμμα:

Δεύτερο Διάγραμμα:

Δεν υπάρχει πιθανή περίπτωση όπου το αυτοκίνητο να είναι και Ποδήλατο ή/και αντίστροφα, χωρίς να παραβιαστεί έστω και μία από τις πέντε βασικές δηλώσεις, όπως φαίνεται και στο Πρώτο Βασικό Διάγραμμα πιο πάνω. Επομένως δεν μπορεί να υπάρξει Δεύτερο Πιθανό Διάγραμμα σε αυτή την περίπτωση (υπενθυμίζεται ότι χρειαζόμαστε δεύτερα πιθανό διαγράμματα σε αυτή την περίπτωση καθώς το συμπέρασμα περιέχει το "Κανένα")

Συμπέρασμα:

Κανένα Ποδήλατο δεν είναι Αυτοκίνητο