The bear chases the squirrel. The bear visits the squirrel. The cat is cold. The cat likes the bear. The dog chases the squirrel. The squirrel chases the cat. The squirrel chases the dog. The squirrel is not round. The squirrel likes the dog. The squirrel visits the bear. The squirrel visits the cat. The squirrel visits the dog. If someone visits the squirrel then they do not chase the cat.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone visits the squirrel then they do not chase the cat.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "cat" "-"))
The bear chases the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "+")
triple1
The squirrel does not chase the cat.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "cat" "-")
triple6
The bear does not chase the cat.
True
2
proof
[(((triple2) -> rule1))]
("bear" "chases" "cat" "-")
((triple2) -> (rule1 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The bear chases the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "chases" "cat" "+")
((triple2) -> (rule1 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The cat chases the dog.
Unknown
random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "+")
The cat does not like the squirrel.
Unknown
inv-random
[@0: The cat likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear chases the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The cat is cold.[(triple3)] The cat likes the bear.[(triple4)] The dog chases the squirrel.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel is not round.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel visits the bear.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The bear does not chase the cat.[(((triple2) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the bear.
("cat" "likes" "bear" "+")
triple4
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The squirrel is not round.
("squirrel" "is" "round" "-")
triple8
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The bear does not chase the cat.
("bear" "chases" "cat" "-")
((triple2) -> (rule1 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1