The lion chases the mouse. The mouse chases the rabbit. The rabbit visits the lion. If something is blue then it chases the lion. All red, rough things are green.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something is blue then it chases the lion.
((("something" "is" "blue" "+")) -> ("something" "chases" "lion" "+"))
All red, rough things are green.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
The mouse chases the rabbit.
True
1
proof
[(triple2)]
("mouse" "chases" "rabbit" "+")
triple2
The rabbit does not visit the lion.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "lion" "-")
triple3
The mouse does not chase the lion.
Unknown
inv-rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion chases the mouse.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit visits the lion.[(triple3)]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple3