The cat eats the tiger. The cat is nice. The cat is rough. The cat likes the squirrel. The cat likes the tiger. The mouse chases the cat. The mouse is nice. The mouse is red. The squirrel chases the cat. The squirrel chases the mouse. The squirrel is red. The tiger likes the mouse. If something chases the mouse then it likes the squirrel. If something chases the squirrel then it eats the squirrel. If something chases the mouse and it likes the squirrel then it is rough.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something chases the mouse then it likes the squirrel.
((("something" "chases" "mouse" "+")) -> ("something" "likes" "squirrel" "+"))
If something chases the squirrel then it eats the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If something chases the mouse and it likes the squirrel then it is rough.
((("something" "chases" "mouse" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "rough" "+"))
The mouse chases the cat.
True
1
proof
[(triple6)]
("mouse" "chases" "cat" "+")
triple6
The squirrel does not chase the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "chases" "mouse" "-")
triple10
The squirrel likes the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple10) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
True
4
proof
[(((triple10 ((triple10) -> rule1)) -> rule3))]
("squirrel" "is" "rough" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is not rough.
False
4
inv-proof
[(((triple10 ((triple10) -> rule1)) -> rule3))]
("squirrel" "is" "rough" "-")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The cat does not eat the squirrel.
Unknown
inv-rconc
[@1: The cat eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "squirrel" "-")
The tiger eats the squirrel.
Unknown
rconc
[@1: The tiger eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "squirrel" "+")
The mouse does not like the squirrel.
Unknown
inv-rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "squirrel" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not eat the cat.
Unknown
inv-random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat eats the tiger.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat likes the squirrel.[(triple4)] The cat likes the tiger.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is nice.[(triple7)] The mouse is red.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is red.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The squirrel likes the squirrel.[(((triple10) -> rule1))] @2: The squirrel is rough.[(((triple10 ((triple10) -> rule1)) -> rule3))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple12
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2