Statistics for A Logic for Paraconsistent Transition Systems