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