The lion is red. If someone is nice and green then they are blue. If someone is red and not round then they are blue.
The lion is red.
("lion" "is" "red" "+")
If someone is nice and green then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and not round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
The lion is red.
True
1
proof
[(triple1)]
("lion" "is" "red" "+")
triple1
The lion is not red.
False
1
inv-proof
[(triple1)]
("lion" "is" "red" "-")
triple1
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The lion is red.[(triple1)]
The lion is red.
("lion" "is" "red" "+")
triple1