The lion is blue. If the lion is nice and the lion is not big then the lion is not cold. If the lion is cold and the lion is not nice then the lion is not blue. If something is blue then it is cold. If the lion is cold and the lion is big then the lion is red. If something is cold and not big then it is not red. If something is nice and not blue then it is red. All cold, blue things are not red. If something is big and not blue then it is red.
The lion is blue.
("lion" "is" "blue" "+")
If the lion is nice and the lion is not big then the lion is not cold.
((("lion" "is" "nice" "+") ("lion" "is" "big" "~")) -> ("lion" "is" "cold" "-"))
If the lion is cold and the lion is not nice then the lion is not blue.
((("lion" "is" "cold" "+") ("lion" "is" "nice" "~")) -> ("lion" "is" "blue" "-"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If the lion is cold and the lion is big then the lion is red.
((("lion" "is" "cold" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "red" "+"))
If something is cold and not big then it is not red.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "-"))
If something is nice and not blue then it is red.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "+"))
All cold, blue things are not red.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "-"))
If something is big and not blue then it is red.
((("something" "is" "big" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "+"))
The lion is blue.
True
1
proof
[(triple1)]
("lion" "is" "blue" "+")
triple1
The lion is not blue.
False
1
inv-proof
[(triple1)]
("lion" "is" "blue" "-")
triple1
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion is blue.[(triple1)] @1: The lion is cold.[(((triple1) -> rule3))] @2: The lion is not red.[(((((triple1) -> rule3) triple1) -> rule7))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
((triple1) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not red.
("lion" "is" "red" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule7 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2