The cat is green. The cat is kind. The cat likes the lion. The dog is kind. The dog likes the lion. The dog visits the mouse. The lion chases the dog. The lion chases the mouse. The mouse chases the cat. The mouse chases the dog. The mouse is kind. The mouse visits the dog. If someone is green then they like the mouse. If someone likes the mouse then they like the cat.
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone is green then they like the mouse.
((("someone" "is" "green" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the mouse then they like the cat.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "cat" "+"))
The lion chases the mouse.
True
1
proof
[(triple8)]
("lion" "chases" "mouse" "+")
triple8
The lion does not chase the dog.
False
1
inv-proof
[(triple7)]
("lion" "chases" "dog" "-")
triple7
The cat likes the mouse.
True
2
proof
[(((triple1) -> rule1))]
("cat" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The cat does not like the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "likes" "mouse" "-")
((triple1) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("cat" "likes" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("cat" "likes" "cat" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int2
The mouse does not like the cat.
Unknown
inv-rconc
[@2: The mouse likes the cat.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("mouse" "likes" "cat" "-")
The lion likes the mouse.
Unknown
rconc
[@1: The lion likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion visits the cat.
Unknown
random
[@0: The lion visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cat" "+")
@0: The cat is green.[(triple1)] The cat is kind.[(triple2)] The cat likes the lion.[(triple3)] The dog is kind.[(triple4)] The dog likes the lion.[(triple5)] The dog visits the mouse.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the dog.[(triple10)] The mouse is kind.[(triple11)] The mouse visits the dog.[(triple12)] @1: The cat likes the mouse.[(((triple1) -> rule1))] @2: The cat likes the cat.[(((((triple1) -> rule1)) -> rule2))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the lion.
("cat" "likes" "lion" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple8
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple9
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple12
The cat likes the mouse.
("cat" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int2