claimsTrueScenario

An example scenario demonstrating how the claims are logically true.