The lion is blue. The rabbit eats the lion. If something is red and it chases the lion then the lion eats the rabbit. If something chases the lion then it is rough.
The lion is blue.
("lion" "is" "blue" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
If something is red and it chases the lion then the lion eats the rabbit.
((("something" "is" "red" "+") ("something" "chases" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
If something chases the lion then it is rough.
((("something" "chases" "lion" "+")) -> ("something" "is" "rough" "+"))
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 does not eat the rabbit.
Unknown
inv-rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The lion is blue.[(triple1)] The rabbit eats the lion.[(triple2)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple2