Write one well-formed formula that represent the following statement: If every crocodile is bigger than every alligator, and Sam is a crocodile, and there is a snake and Sam isn't bigger than that snake, then something is not an alligator. Use these functions in your formula C(x): x is a crocodile, A(x): x is an alligator, B(x, y): x is bigger than y, Sam, S(x): x is a snake