claimsTrueScenario

An example scenario demonstrating how the claims could be logically true.