The bear chases the cat. The cat is nice. The cat likes the bear. The cat likes the cow. The cat visits the cow. The cow is big. The cow is cold. The cow likes the cat. The cow does not visit the bear. The squirrel is not nice. The squirrel does not like the cat. The squirrel visits the cow. If something likes the bear then the bear does not visit the squirrel. If something is nice then it likes the cow. If the cow visits the bear and the bear does not visit the squirrel then the cow visits the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something likes the bear then the bear does not visit the squirrel.
((("something" "likes" "bear" "+")) -> ("bear" "visits" "squirrel" "-"))
If something is nice then it likes the cow.
((("something" "is" "nice" "+")) -> ("something" "likes" "cow" "+"))
If the cow visits the bear and the bear does not visit the squirrel then the cow visits the cat.
((("cow" "visits" "bear" "+") ("bear" "visits" "squirrel" "~")) -> ("cow" "visits" "cat" "+"))
The squirrel is not nice.
True
1
proof
[(triple10)]
("squirrel" "is" "nice" "-")
triple10
The cat does not visit the cow.
False
1
inv-proof
[(triple5)]
("cat" "visits" "cow" "-")
triple5
The bear does not visit the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("bear" "visits" "squirrel" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The bear visits the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "visits" "squirrel" "+")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The bear does not like the cow.
Unknown
inv-rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "cow" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear chases the cat.[(triple1)] The cat is nice.[(triple2)] The cat likes the bear.[(triple3)] The cat likes the cow.[(triple4 OR ((triple2) -> rule2))] The cat visits the cow.[(triple5)] The cow does not visit the bear.[(triple9)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow likes the cat.[(triple8)] The squirrel does not like the cat.[(triple11)] The squirrel is not nice.[(triple10)] The squirrel visits the cow.[(triple12)] @1: The bear does not visit the squirrel.[(((triple3) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat likes the bear.
("cat" "likes" "bear" "+")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
((triple2) -> (rule2 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple9
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow likes the cat.
("cow" "likes" "cat" "+")
triple8
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple11
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple10
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1