For any prime p, there exists a metabelian p-group that admits triality and has a corresponding Moufang loop that is not a group.
