% ruby controlbot.rb
Hello

> A = "A = false"
Okay, A = A = false.

> Assume A = true                
Okay, I will assume A = true.

> if A = true, then "A = false" = true
Okay, A = true -> A = false = true.

> does "A = false" = true?
Yes, A = false = true.

> if "A = false" = true, then A = false
Okay, A = false = true -> A = false.

> But "A = false" is a contradiction of our assumption that A = true!
Therefore, A != true.


> if A != true, then A = false
Okay, A != true -> A = false.

> forget that A = true
Okay I have deleted A = true.


> Assume A = false
Okay, I will assume A = false.

> if A = false, then "A = false" = false
Okay, A = false -> A = false = false.

> does "A = false" = false?
Yes, A = false = false.

> if "A = false" = false, then A = true
Okay, A = false = false -> A = true.

> does A = true?
Yes, A = true.

> but "A = true" is a contradiction of our assumption that A = false!
Therefore, A != false.


> if A != false, then A = true
Okay, A != false -> A = true.

> does A = true? 
Yes, A = true.

> does A = false?
Yes, A = false.

>