The cat chases the lion. The cat is rough. The cat visits the rabbit. The lion is big. The rabbit is kind. The rabbit visits the cat. The tiger does not chase the cat. The tiger is not big. The tiger does not like the lion. The tiger does not visit the lion. If the lion likes the tiger and the lion chases the tiger then the lion visits the rabbit. If the lion likes the cat and the tiger does not chase the lion then the cat visits the rabbit.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
If the lion likes the tiger and the lion chases the tiger then the lion visits the rabbit.
((("lion" "likes" "tiger" "+") ("lion" "chases" "tiger" "+")) -> ("lion" "visits" "rabbit" "+"))
If the lion likes the cat and the tiger does not chase the lion then the cat visits the rabbit.
((("lion" "likes" "cat" "+") ("tiger" "chases" "lion" "~")) -> ("cat" "visits" "rabbit" "+"))
The cat chases the lion.
True
1
proof
[(triple1)]
("cat" "chases" "lion" "+")
triple1
The tiger likes the lion.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "lion" "+")
triple9
The lion does not visit the rabbit.
Unknown
inv-rconc
[@1: The lion visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "rabbit" "-")
The cat visits the lion.
Unknown
random
[@0: The cat visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat is rough.[(triple2)] The cat visits the rabbit.[(triple3)] The lion is big.[(triple4)] The rabbit is kind.[(triple5)] The rabbit visits the cat.[(triple6)] The tiger does not chase the cat.[(triple7)] The tiger does not like the lion.[(triple9)] The tiger does not visit the lion.[(triple10)] The tiger is not big.[(triple8)]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple6
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple7
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple9
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
triple10
The tiger is not big.
("tiger" "is" "big" "-")
triple8