The lion is blue. The lion is nice. The lion is red. The lion is rough. The lion is not young. If something is rough and not blue then it is nice.
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is not young.
("lion" "is" "young" "-")
If something is rough and not blue then it is nice.
((("something" "is" "rough" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "+"))
The lion is rough.
True
1
proof
[(triple4)]
("lion" "is" "rough" "+")
triple4
The lion is not red.
False
1
inv-proof
[(triple3)]
("lion" "is" "red" "-")
triple3
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is nice.[(triple2)] The lion is not young.[(triple5)] The lion is red.[(triple3)] The lion is rough.[(triple4)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion is not young.
("lion" "is" "young" "-")
triple5
The lion is red.
("lion" "is" "red" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4