The cat chases the rabbit. The lion likes the rabbit. The rabbit chases the lion. If the rabbit chases the lion then the lion likes the cat.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
If the rabbit chases the lion then the lion likes the cat.
((("rabbit" "chases" "lion" "+")) -> ("lion" "likes" "cat" "+"))
The cat chases the rabbit.
True
1
proof
[(triple1)]
("cat" "chases" "rabbit" "+")
triple1
The cat does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "chases" "rabbit" "-")
triple1
The lion likes the cat.
True
2
proof
[(((triple3) -> rule1))]
("lion" "likes" "cat" "+")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion does not like the cat.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "likes" "cat" "-")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat chases the rabbit.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit chases the lion.[(triple3)] @1: The lion likes the cat.[(((triple3) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple3
The lion likes the cat.
("lion" "likes" "cat" "+")
((triple3) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1