THE ORDER IS NOW THE FOLLOWING:
l « A < B < C


YOUR SESSION HAS DIGESTED

THE FOLLOWING RELATIONS

THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
{A, B, C, l}
The corresponding rules are the following:

A 1

B 1

C 1

l 3



USER CREATIONS APPEAR BELOW



SOME RELATIONS WHICH APPEAR BELOW

MAY BE UNDIGESTED

THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:
{}