The lion is not red. If something is young and cold then it is green. Kind, cold things are green. Green things are not young. If something is green and kind then it is not young. If the lion is young and the lion is red then the lion is green. If the lion is cold then the lion is young.
The lion is not red.
("lion" "is" "red" "-")
If something is young and cold then it is green.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Kind, cold things are green.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Green things are not young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "-"))
If something is green and kind then it is not young.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
If the lion is young and the lion is red then the lion is green.
((("lion" "is" "young" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "green" "+"))
If the lion is cold then the lion is young.
((("lion" "is" "cold" "+")) -> ("lion" "is" "young" "+"))
The lion is not red.
True
1
proof
[(triple1)]
("lion" "is" "red" "-")
triple1
The lion is red.
False
1
inv-proof
[(triple1)]
("lion" "is" "red" "+")
triple1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is not red.[(triple1)]
The lion is not red.
("lion" "is" "red" "-")
triple1