Statement: the wildcats never scored more than 7 in any game they lost

Input Table: 1947 kentucky wildcats football team

Step 1: Select rows where the 'result' is 'loss'.
game date opponent result wildcats_points opponents record
1 9999-09-20 ole miss loss 7 14 0 - 1
2 9999-09-27 cincinnati win 20 0 1 - 1
3 9999-10-04 xavier win 20 7 2 - 1
4 9999-10-11 9 georgia win 26 0 3 - 1 , 20
5 9999-10-18 10 vanderbilt win 14 0 4 - 1 , 14
6 9999-10-25 michigan state win 7 6 5 - 1 , 13
7 9999-11-01 18 alabama loss 0 13 5 - 2
8 9999-11-08 west virginia win 15 6 6 - 2
9 9999-11-15 evansville win 36 0 7 - 2
10 9999-11-22 tennessee loss 6 13 7 - 3

Step 2: Select rows where the 'wildcats_points' is greater than 7.
game date opponent result wildcats_points opponents record
1 9999-09-20 ole miss loss 7 14 0 - 1
7 9999-11-01 18 alabama loss 0 13 5 - 2
10 9999-11-22 tennessee loss 6 13 7 - 3

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 0, otherwise return FALSE.
game date opponent result wildcats_points opponents record

verification_result
TRUE