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