My grandpa sent me this logic puzzle and me and six friends (all 4th year law students) couldn't figure it out. Are you smarter than us?

Jonnie is making a wall. His wall is made out of eighteen types of bricks of three varying colors- red, blue, and green- and six varying lengths- 1x5, 3x5 5x7, 7x8, 10x12, 20x30. The bricks can be laid vertically of horizontally. The wall must be constructed as follows:

A vertical red 10x12 brick must be between two horizontal 5x7 green bricks, or two vertical 1x5 red bricks, or one of each.

A blue brick may not be stacked on top of a horizontal brick bigger than 3x5 unless it is under another blue brick.

There cannot be three vertical bricks in a row. If horizontal bricks are stacked, they must be stacked on top of each other in decreasing size.

There must be more red bricks than blue bricks on the wall. If there are more than double the amount of red bricks than blue bricks, the number of green bricks and red bricks must be equal.

The wall must use at least 3 of each type bricks.

If a brick type is used at the bottom of the wall, it must appear at the top of the wall in the opposite orientation.

QUESTION=

If a vertical red brick of size 1x5 is at the bottom of the wall, what is the color, size, and orientation of the brick that must be laid exactly five bricks above it?*