Continuing to work with the set of $(x,y)$ points from this lesson, and in the spirit of this lesson let's look for a rectangle amongst the points.

A rectangle needs four points and four lines, with pairs of connecting lines being perpendicular.

Take a look at the goal below.

A rectangle needs four points and four lines, with pairs of connecting lines being perpendicular.

Take a look at the goal below.

Type your code here:

See your results here:

Oh no! The goal fails! (Prolog returns a

`false`

.) Is there no rectangle amongst our points? (See the hint.)