The cat chases the lion. The lion is kind. If someone visits the lion and the lion is kind then they visit the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
If someone visits the lion and the lion is kind then they visit the cat.
((("someone" "visits" "lion" "+") ("lion" "is" "kind" "+")) -> ("someone" "visits" "cat" "+"))
The lion is kind.
True
1
proof
[(triple2)]
("lion" "is" "kind" "+")
triple2
The lion is not kind.
False
1
inv-proof
[(triple2)]
("lion" "is" "kind" "-")
triple2
The lion does not visit the cat.
Unknown
inv-rconc
[@1: The lion visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the lion.[(triple1)] The lion is kind.[(triple2)]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2