Can be written in C++, Prolog, Python or Java:

You are a detective investigating a robbery, with five suspects having made the following statements:

Paul says, Ray is guilty.

Quinn says, If Steve is guilty, then so is Ray.

Ray says, Both Steve and Ted are guilty.

Steve says, Both Quinn and Ray are guilty.

Ted says, At least one of Paul or Ray is guilty.

You do not know which, nor even how many, of the five suspects were involved in the crime. However, you do know that every guilty suspect is lying, and every innocent suspect is telling the truth. Which suspect or suspects committed the crime?

Assignment 1. Write a program that computes and prints a solution to this problem, indicating the guilt or innocence of each of the five suspects.

Can be written in C++, Prolog, Python or Java: