The bear is nice. The bear needs the cat. The bear visits the dog. The cat eats the squirrel. The cat visits the bear. The cat does not visit the dog. The dog does not eat the squirrel. The dog is not round. The dog visits the cat. The squirrel does not eat the dog. If something visits the bear then the bear eats the cat.
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is not round.
("dog" "is" "round" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
If something visits the bear then the bear eats the cat.
((("something" "visits" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The cat does not visit the dog.
True
1
proof
[(triple6)]
("cat" "visits" "dog" "-")
triple6
The bear does not need the cat.
False
1
inv-proof
[(triple2)]
("bear" "needs" "cat" "-")
triple2
The bear eats the cat.
True
2
proof
[(((triple5) -> rule1))]
("bear" "eats" "cat" "+")
((triple5) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "eats" "cat" "-")
((triple5) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
@0: The bear is nice.[(triple1)] The bear needs the cat.[(triple2)] The bear visits the dog.[(triple3)] The cat does not visit the dog.[(triple6)] The cat eats the squirrel.[(triple4)] The cat visits the bear.[(triple5)] The dog does not eat the squirrel.[(triple7)] The dog is not round.[(triple8)] The dog visits the cat.[(triple9)] The squirrel does not eat the dog.[(triple10)] @1: The bear eats the cat.[(((triple5) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple6
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat visits the bear.
("cat" "visits" "bear" "+")
triple5
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple7
The dog is not round.
("dog" "is" "round" "-")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple10
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple5) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1