Tops scores: Rules of inference and replacement
| Member | Score | Time Taken | Date |
| #ANON# | 19/19 | 154.01 seconds | 16 April 2024 @ 12:59:59 |
| #ANON# | 19/19 | 135.8 seconds | 16 April 2024 @ 13:03:16 |
| nut-nut95 | 19/19 | 131.42 seconds | 10 April 2019 @ 23:14:23 |
| #ANON# | 18/19 | 125.42 seconds | 16 April 2024 @ 13:24:35 |
| nut-nut95 | 18/19 | 122.4 seconds | 10 April 2019 @ 23:11:53 |
| #ANON# | 16/19 | 432.13 seconds | 30 November 2022 @ 19:48:55 |
| #ANON# | 16/19 | 36.34 seconds | 16 April 2024 @ 12:53:30 |
| #ANON# | 14/19 | 265.28 seconds | 08 October 2024 @ 05:46:24 |