0.1 :: hyp(rectangle(a,1,2,3,4)).
0.1 :: hyp(rectangle(b,1,5,7,8)).
0.3 :: hyp(rectangle(c,5,6,6,7)).
0.3 :: hyp(rectangle(d,2,1,8,3)).
0.2 :: hyp(rectangle(e,4,2,7,9)).