The bear eats the squirrel. The cow eats the dog. The dog is big. The squirrel likes the bear. If something eats the squirrel then the squirrel eats the cow.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something eats the squirrel then the squirrel eats the cow.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
The bear eats the squirrel.
True
1
proof
[(triple1)]
("bear" "eats" "squirrel" "+")
triple1
The bear does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "eats" "squirrel" "-")
triple1
The squirrel eats the cow.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "eats" "cow" "+")
((triple1) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel does not eat the cow.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "eats" "cow" "-")
((triple1) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear eats the squirrel.[(triple1)] The cow eats the dog.[(triple2)] The dog is big.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The squirrel eats the cow.[(((triple1) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple1) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1