The bear sees the cow. The cow chases the squirrel. The dog is round. The squirrel does not eat the dog. If someone sees the cow then they do not chase the squirrel.
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
If someone sees the cow then they do not chase the squirrel.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "squirrel" "-"))
The squirrel does not eat the dog.
True
1
proof
[(triple4)]
("squirrel" "eats" "dog" "-")
triple4
The dog is not round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "-")
triple3
The bear does not chase the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bear" "chases" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
int1
The bear chases the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "chases" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
int1
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not chase the dog.
Unknown
inv-random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "-")
The dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
@0: The bear sees the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The dog is round.[(triple3)] The squirrel does not eat the dog.[(triple4)] @1: The bear does not chase the squirrel.[(((triple1) -> rule1))]
The bear sees the cow.
("bear" "sees" "cow" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple4
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
int1