A formal logic card game