Propositional Logic (PRP)

Logic features

Problem

In logic

In TPTP format

Challenge problem

If you are quiet then you are resting. If you are resting then you are peaceful and quiet. If you are peaceful then you are quiet or resting (or both). Therefore, being peaceful is the same as being quiet.