The bear visits the lion. The lion is green. If someone sees the bear and the bear visits the lion then the bear is rough. If someone is big and blue then they visit the lion.
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
If someone sees the bear and the bear visits the lion then the bear is rough.
((("someone" "sees" "bear" "+") ("bear" "visits" "lion" "+")) -> ("bear" "is" "rough" "+"))
If someone is big and blue then they visit the lion.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "lion" "+"))
The bear visits the lion.
True
1
proof
[(triple1)]
("bear" "visits" "lion" "+")
triple1
The lion is not green.
False
1
inv-proof
[(triple2)]
("lion" "is" "green" "-")
triple2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear visits the lion.[(triple1)] The lion is green.[(triple2)]
The bear visits the lion.
("bear" "visits" "lion" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2