The cat needs the lion. The lion is blue. The rabbit is cold. The tiger chases the lion. If someone chases the lion then they are green. If the cat is blue and the cat needs the rabbit then the cat chases the tiger. If someone chases the tiger and they need the cat then the cat chases the rabbit. If someone likes the cat and they need the tiger then they like the tiger. If someone likes the lion then the lion likes the tiger. If someone chases the tiger then the tiger chases the lion.
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone chases the lion then they are green.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "green" "+"))
If the cat is blue and the cat needs the rabbit then the cat chases the tiger.
((("cat" "is" "blue" "+") ("cat" "needs" "rabbit" "+")) -> ("cat" "chases" "tiger" "+"))
If someone chases the tiger and they need the cat then the cat chases the rabbit.
((("someone" "chases" "tiger" "+") ("someone" "needs" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If someone likes the cat and they need the tiger then they like the tiger.
((("someone" "likes" "cat" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the lion then the lion likes the tiger.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone chases the tiger then the tiger chases the lion.
((("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "lion" "+"))
The cat needs the lion.
True
1
proof
[(triple1)]
("cat" "needs" "lion" "+")
triple1
The cat does not need the lion.
False
1
inv-proof
[(triple1)]
("cat" "needs" "lion" "-")
triple1
The tiger is green.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "is" "green" "+")
((triple4) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "is" "green" "-")
((triple4) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The rabbit does not like the tiger.
Unknown
inv-rconc
[@1: The rabbit likes the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "tiger" "-")
The lion is green.
Unknown
rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The cat needs the lion.[(triple1)] The lion is blue.[(triple2)] The rabbit is cold.[(triple3)] The tiger chases the lion.[(triple4)] @1: The tiger is green.[(((triple4) -> rule1))]
The cat needs the lion.
("cat" "needs" "lion" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
((triple4) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1