The cat likes the cow. The cat likes the rabbit. The cat needs the tiger. The cow is kind. The cow is young. The cow needs the cat. The rabbit is not young. The rabbit likes the tiger. The tiger is blue. The tiger needs the rabbit. If something likes the tiger then the tiger is green. If something is green and blue then it eats the rabbit. If something eats the cat then the cat likes the rabbit.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something likes the tiger then the tiger is green.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If something is green and blue then it eats the rabbit.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the cat then the cat likes the rabbit.
((("something" "eats" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
The rabbit likes the tiger.
True
1
proof
[(triple8)]
("rabbit" "likes" "tiger" "+")
triple8
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The tiger is green.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "is" "green" "+")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "is" "green" "-")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger eats the rabbit.
True
4
proof
[(((((triple8) -> rule1) triple9) -> rule2))]
("tiger" "eats" "rabbit" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger does not eat the rabbit.
False
4
inv-proof
[(((((triple8) -> rule1) triple9) -> rule2))]
("tiger" "eats" "rabbit" "-")
((((triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The cow does not eat the rabbit.
Unknown
inv-rconc
[@1: The cow eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "rabbit" "-")
The cat eats the rabbit.
Unknown
rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cow needs the rabbit.
Unknown
random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cat likes the cow.[(triple1)] The cat likes the rabbit.[(triple2)] The cat needs the tiger.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow needs the cat.[(triple6)] The rabbit is not young.[(triple7)] The rabbit likes the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The tiger is green.[(((triple8) -> rule1))] @2: The tiger eats the rabbit.[(((((triple8) -> rule1) triple9) -> rule2))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the cat.
("cow" "needs" "cat" "+")
triple6
The rabbit is not young.
("rabbit" "is" "young" "-")
triple7
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2