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