Present you strict logic with an example program in python (and prolog)

Some syllogistic and logic, have fun!