The cat eats the rabbit. The cat is not cold. The cat likes the rabbit. The cat needs the rabbit. The rabbit is not young. The rabbit likes the cat. The rabbit does not need the cat. If something needs the rabbit and it is not round then it likes the cat. If something likes the cat and it does not eat the rabbit then it needs the cat.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
If something needs the rabbit and it is not round then it likes the cat.
((("something" "needs" "rabbit" "+") ("something" "is" "round" "~")) -> ("something" "likes" "cat" "+"))
If something likes the cat and it does not eat the rabbit then it needs the cat.
((("something" "likes" "cat" "+") ("something" "eats" "rabbit" "~")) -> ("something" "needs" "cat" "+"))
The cat eats the rabbit.
True
1
proof
[(triple1)]
("cat" "eats" "rabbit" "+")
triple1
The rabbit does not like the cat.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "cat" "-")
triple6
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The cat eats the rabbit.[(triple1)] The cat is not cold.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the rabbit.[(triple4)] The rabbit does not need the cat.[(triple7)] The rabbit is not young.[(triple5)] The rabbit likes the cat.[(triple6)]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is not cold.
("cat" "is" "cold" "-")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple7
The rabbit is not young.
("rabbit" "is" "young" "-")
triple5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple6