The cat eats the squirrel. The cow is rough. The dog sees the squirrel. The squirrel eats the cat. If someone eats the cat then the cat likes the squirrel. If someone eats the cat and the cat likes the squirrel then the squirrel sees the cat. If someone likes the cow then the cow eats the dog.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If someone eats the cat then the cat likes the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If someone eats the cat and the cat likes the squirrel then the squirrel sees the cat.
((("someone" "eats" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("squirrel" "sees" "cat" "+"))
If someone likes the cow then the cow eats the dog.
((("someone" "likes" "cow" "+")) -> ("cow" "eats" "dog" "+"))
The cat eats the squirrel.
True
1
proof
[(triple1)]
("cat" "eats" "squirrel" "+")
triple1
The squirrel does not eat the cat.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "cat" "-")
triple4
The cat likes the squirrel.
True
2
proof
[(((triple4) -> rule1))]
("cat" "likes" "squirrel" "+")
((triple4) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not like the squirrel.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "likes" "squirrel" "-")
((triple4) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel sees the cat.
True
4
proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("squirrel" "sees" "cat" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel does not see the cat.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("squirrel" "sees" "cat" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "dog" "-")
The cat likes the cow.
Unknown
random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The dog does not eat the cat.
Unknown
inv-random
[@0: The dog eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cat" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The cat eats the squirrel.[(triple1)] The cow is rough.[(triple2)] The dog sees the squirrel.[(triple3)] The squirrel eats the cat.[(triple4)] @1: The cat likes the squirrel.[(((triple4) -> rule1))] @2: The squirrel sees the cat.[(((triple4 ((triple4) -> rule1)) -> rule2))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple4) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2