The cat chases the lion. The lion likes the cat. The tiger is big. If the lion chases the cat and the lion is nice then the lion does not like the tiger. Big people are red. If someone chases the cat then the cat needs the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
If the lion chases the cat and the lion is nice then the lion does not like the tiger.
((("lion" "chases" "cat" "+") ("lion" "is" "nice" "+")) -> ("lion" "likes" "tiger" "-"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone chases the cat then the cat needs the lion.
((("someone" "chases" "cat" "+")) -> ("cat" "needs" "lion" "+"))
The lion likes the cat.
True
1
proof
[(triple2)]
("lion" "likes" "cat" "+")
triple2
The lion does not like the cat.
False
1
inv-proof
[(triple2)]
("lion" "likes" "cat" "-")
triple2
The tiger is red.
True
2
proof
[(((triple3) -> rule2))]
("tiger" "is" "red" "+")
((triple3) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("tiger" "is" "red" "-")
((triple3) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "red" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "+")
The cat does not chase the tiger.
Unknown
inv-random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "-")
The lion likes the tiger.
Unknown
random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "+")
@0: The cat chases the lion.[(triple1)] The lion likes the cat.[(triple2)] The tiger is big.[(triple3)] @1: The tiger is red.[(((triple3) -> rule2))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The lion likes the cat.
("lion" "likes" "cat" "+")
triple2
The tiger is big.
("tiger" "is" "big" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
((triple3) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1