The cow is green. The dog is cold. The lion is blue. The mouse is red. If something likes the lion and it is not blue then it sees the dog.
The cow is green.
("cow" "is" "green" "+")
The dog is cold.
("dog" "is" "cold" "+")
The lion is blue.
("lion" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
If something likes the lion and it is not blue then it sees the dog.
((("something" "likes" "lion" "+") ("something" "is" "blue" "~")) -> ("something" "sees" "dog" "+"))
The lion is blue.
True
1
proof
[(triple3)]
("lion" "is" "blue" "+")
triple3
The mouse is not red.
False
1
inv-proof
[(triple4)]
("mouse" "is" "red" "-")
triple4
The cow does not see the dog.
Unknown
inv-rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "dog" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
@0: The cow is green.[(triple1)] The dog is cold.[(triple2)] The lion is blue.[(triple3)] The mouse is red.[(triple4)]
The cow is green.
("cow" "is" "green" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4