On the Generalization of Neutrosophic Set Operations: Testing Proofs by Examples | Synapse