The cat eats the tiger. The cat is green. The cat likes the lion. The cat likes the tiger. The lion eats the cat. The lion is green. The lion is nice. The tiger eats the cat. The tiger sees the cat. The tiger sees the lion. If someone likes the cat then the cat is young. If someone is green then they like the cat.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone likes the cat then the cat is young.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone is green then they like the cat.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "+"))
The cat eats the tiger.
True
1
proof
[(triple1)]
("cat" "eats" "tiger" "+")
triple1
The tiger does not eat the cat.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "cat" "-")
triple8
The lion likes the cat.
True
2
proof
[(((triple6) -> rule2))]
("lion" "likes" "cat" "+")
((triple6) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "likes" "cat" "-")
((triple2) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is young.
True
3
proof
[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
("cat" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The cat is not young.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
("cat" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The tiger does not like the cat.
Unknown
inv-rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "cat" "-")
The lion sees the cat.
Unknown
random
[@0: The lion sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cat" "+")
The tiger does not eat the lion.
Unknown
inv-random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "-")
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 cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the tiger.[(triple4)] The lion eats the cat.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The tiger eats the cat.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the lion.[(triple10)] @1: The cat likes the cat.[(((triple2) -> rule2))] The lion likes the cat.[(((triple6) -> rule2))] @2: The cat is young.[(((((triple2) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat likes the lion.
("cat" "likes" "lion" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The lion eats the cat.
("lion" "eats" "cat" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple8
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple9
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple10
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple2) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
((triple6) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2