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