path(1,3). path(2,4). path(3,2). path(4,5).