The cat eats the cow. The cat eats the mouse. The cat likes the mouse. The cat likes the squirrel. The cow likes the cat. The mouse eats the squirrel. The squirrel is cold. If someone chases the cat then they are not blue. If someone eats the cow and they like the cow then they chase the squirrel. If the cow eats the squirrel and the mouse does not like the cow then the squirrel is young. If someone chases the cow then they do not chase the cat. If someone likes the cat then the cat likes the cow. If someone is cold then they chase the mouse.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone chases the cat then they are not blue.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "blue" "-"))
If someone eats the cow and they like the cow then they chase the squirrel.
((("someone" "eats" "cow" "+") ("someone" "likes" "cow" "+")) -> ("someone" "chases" "squirrel" "+"))
If the cow eats the squirrel and the mouse does not like the cow then the squirrel is young.
((("cow" "eats" "squirrel" "+") ("mouse" "likes" "cow" "~")) -> ("squirrel" "is" "young" "+"))
If someone chases the cow then they do not chase the cat.
((("someone" "chases" "cow" "+")) -> ("someone" "chases" "cat" "-"))
If someone likes the cat then the cat likes the cow.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "cow" "+"))
If someone is cold then they chase the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "mouse" "+"))
The cow likes the cat.
True
1
proof
[(triple5)]
("cow" "likes" "cat" "+")
triple5
The mouse does not eat the squirrel.
False
1
inv-proof
[(triple6)]
("mouse" "eats" "squirrel" "-")
triple6
The cat likes the cow.
True
2
proof
[(((triple5) -> rule5))]
("cat" "likes" "cow" "+")
((triple5) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat does not like the cow.
False
2
inv-proof
[(((triple5) -> rule5))]
("cat" "likes" "cow" "-")
((triple5) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the squirrel.
True
4
proof
[(((triple1 ((triple5) -> rule5)) -> rule2))]
("cat" "chases" "squirrel" "+")
((triple1 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cat does not chase the squirrel.
False
4
inv-proof
[(((triple1 ((triple5) -> rule5)) -> rule2))]
("cat" "chases" "squirrel" "-")
((triple1 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
@0: The cat eats the cow.[(triple1)] The cat eats the mouse.[(triple2)] The cat likes the mouse.[(triple3)] The cat likes the squirrel.[(triple4)] The cow likes the cat.[(triple5)] The mouse eats the squirrel.[(triple6)] The squirrel is cold.[(triple7)] @1: The cat likes the cow.[(((triple5) -> rule5))] The squirrel chases the mouse.[(((triple7) -> rule6))] @2: The cat chases the squirrel.[(((triple1 ((triple5) -> rule5)) -> rule2))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The cow likes the cat.
("cow" "likes" "cat" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The cat likes the cow.
("cat" "likes" "cow" "+")
((triple5) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
((triple7) -> (rule6 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((triple1 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2