The dog likes the lion. The lion likes the dog. If someone likes the dog then the dog is round. If someone visits the dog then they are green.
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
If someone likes the dog then the dog is round.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "round" "+"))
If someone visits the dog then they are green.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "green" "+"))
The lion likes the dog.
True
1
proof
[(triple2)]
("lion" "likes" "dog" "+")
triple2
The lion does not like the dog.
False
1
inv-proof
[(triple2)]
("lion" "likes" "dog" "-")
triple2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The dog likes the lion.[(triple1)] The lion likes the dog.[(triple2)] @1: The dog is round.[(((triple2) -> rule1))]
The dog likes the lion.
("dog" "likes" "lion" "+")
triple1
The lion likes the dog.
("lion" "likes" "dog" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
((triple2) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1