Verification of Validity of Syllogisms Related to Graded Peterson Cube of Opposition | Synapse