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