The cat is green. The dog likes the cat. The mouse likes the rabbit. The rabbit likes the dog. Young, cold things are green. If something visits the cat then it likes the dog.
The cat is green.
("cat" "is" "green" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
Young, cold things are green.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something visits the cat then it likes the dog.
((("something" "visits" "cat" "+")) -> ("something" "likes" "dog" "+"))
The mouse likes the rabbit.
True
1
proof
[(triple3)]
("mouse" "likes" "rabbit" "+")
triple3
The cat is not green.
False
1
inv-proof
[(triple1)]
("cat" "is" "green" "-")
triple1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "green" "-")
The mouse visits the rabbit.
Unknown
random
[@0: The mouse visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "rabbit" "+")
@0: The cat is green.[(triple1)] The dog likes the cat.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit likes the dog.[(triple4)]
The cat is green.
("cat" "is" "green" "+")
triple1
The dog likes the cat.
("dog" "likes" "cat" "+")
triple2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple3
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple4