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