The cow does not eat the dog. The cow is kind. The cow does not visit the dog. The dog chases the squirrel. The dog eats the squirrel. The dog is rough. The squirrel chases the cow. The squirrel eats the cow. The squirrel eats the dog. The squirrel is green. If someone is kind and they do not visit the squirrel then the squirrel does not chase the dog. If someone is rough then they do not chase the cow.
The cow does not eat the dog.
("cow" "eats" "dog" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is kind and they do not visit the squirrel then the squirrel does not chase the dog.
((("someone" "is" "kind" "+") ("someone" "visits" "squirrel" "~")) -> ("squirrel" "chases" "dog" "-"))
If someone is rough then they do not chase the cow.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "cow" "-"))
The dog is rough.
True
1
proof
[(triple6)]
("dog" "is" "rough" "+")
triple6
The dog is not rough.
False
1
inv-proof
[(triple6)]
("dog" "is" "rough" "-")
triple6
The dog does not chase the cow.
True
2
proof
[(((triple6) -> rule2))]
("dog" "chases" "cow" "-")
((triple6) -> (rule2 % int1))
The dog does not chase the cow.
("dog" "chases" "cow" "-")
int1
The dog chases the cow.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The dog does not chase the cow.
("dog" "chases" "cow" "-")
int1
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The dog visits the cow.
Unknown
random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cow does not eat the dog.[(triple1)] The cow does not visit the dog.[(triple3)] The cow is kind.[(triple2)] The dog chases the squirrel.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is rough.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is green.[(triple10)] @1: The dog does not chase the cow.[(((triple6) -> rule2))]
The cow does not eat the dog.
("cow" "eats" "dog" "-")
triple1
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The dog does not chase the cow.
("dog" "chases" "cow" "-")
((triple6) -> (rule2 % int1))
The dog does not chase the cow.
("dog" "chases" "cow" "-")
int1