The lion is blue. The lion is not kind. The lion is nice. All young things are nice. If the lion is young and the lion is not blue then the lion is not kind.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If the lion is young and the lion is not blue then the lion is not kind.
((("lion" "is" "young" "+") ("lion" "is" "blue" "~")) -> ("lion" "is" "kind" "-"))
The lion is not kind.
True
1
proof
[(triple2)]
("lion" "is" "kind" "-")
triple2
The lion is not nice.
False
1
inv-proof
[(triple3)]
("lion" "is" "nice" "-")
triple3
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The lion is blue.[(triple1)] The lion is nice.[(triple3)] The lion is not kind.[(triple2)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is not kind.
("lion" "is" "kind" "-")
triple2