The bear is red. The cat eats the tiger. The cat visits the bear. The tiger eats the bear. The tiger eats the cat. The tiger is red. The tiger likes the cat. If someone eats the tiger and the tiger likes the cat then the tiger likes the bear. If someone likes the bear then they are rough.
The bear is red.
("bear" "is" "red" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If someone eats the tiger and the tiger likes the cat then the tiger likes the bear.
((("someone" "eats" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("tiger" "likes" "bear" "+"))
If someone likes the bear then they are rough.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "rough" "+"))
The cat eats the tiger.
True
1
proof
[(triple2)]
("cat" "eats" "tiger" "+")
triple2
The cat does not eat the tiger.
False
1
inv-proof
[(triple2)]
("cat" "eats" "tiger" "-")
triple2
The tiger likes the bear.
True
3
proof
[(((triple2 triple7) -> rule1))]
("tiger" "likes" "bear" "+")
((triple2 triple7) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger does not like the bear.
False
3
inv-proof
[(((triple2 triple7) -> rule1))]
("tiger" "likes" "bear" "-")
((triple2 triple7) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is rough.
True
4
proof
[(((((triple2 triple7) -> rule1)) -> rule2))]
("tiger" "is" "rough" "+")
((((triple2 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger is not rough.
False
4
inv-proof
[(((((triple2 triple7) -> rule1)) -> rule2))]
("tiger" "is" "rough" "-")
((((triple2 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "rough" "+")
The cat does not like the tiger.
Unknown
inv-random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bear is red.[(triple1)] The cat eats the tiger.[(triple2)] The cat visits the bear.[(triple3)] The tiger eats the bear.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is red.[(triple6)] The tiger likes the cat.[(triple7)] @1: The tiger likes the bear.[(((triple2 triple7) -> rule1))] @2: The tiger is rough.[(((((triple2 triple7) -> rule1)) -> rule2))]
The bear is red.
("bear" "is" "red" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat visits the bear.
("cat" "visits" "bear" "+")
triple3
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is red.
("tiger" "is" "red" "+")
triple6
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple7
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple2 triple7) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple2 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2