The cat likes the lion. The cat visits the lion. The lion is nice. If the lion sees the cat and the cat visits the lion then the cat is round.
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
If the lion sees the cat and the cat visits the lion then the cat is round.
((("lion" "sees" "cat" "+") ("cat" "visits" "lion" "+")) -> ("cat" "is" "round" "+"))
The lion is nice.
True
1
proof
[(triple3)]
("lion" "is" "nice" "+")
triple3
The cat does not like the lion.
False
1
inv-proof
[(triple1)]
("cat" "likes" "lion" "-")
triple1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "round" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The cat likes the lion.[(triple1)] The cat visits the lion.[(triple2)] The lion is nice.[(triple3)]
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The cat visits the lion.
("cat" "visits" "lion" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3