A pretty sophisticated working PLN forward inference thanks to Nil