The cow chases the squirrel. The dog is green. The squirrel chases the cow. If the dog needs the cow and the squirrel does not visit the dog then the dog is nice. If something chases the cow then it chases the dog.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If the dog needs the cow and the squirrel does not visit the dog then the dog is nice.
((("dog" "needs" "cow" "+") ("squirrel" "visits" "dog" "~")) -> ("dog" "is" "nice" "+"))
If something chases the cow then it chases the dog.
((("something" "chases" "cow" "+")) -> ("something" "chases" "dog" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The dog is not green.
False
1
inv-proof
[(triple2)]
("dog" "is" "green" "-")
triple2
The squirrel chases the dog.
True
2
proof
[(((triple3) -> rule2))]
("squirrel" "chases" "dog" "+")
((triple3) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple3) -> rule2))]
("squirrel" "chases" "dog" "-")
((triple3) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The cow does not chase the dog.
Unknown
inv-rconc
[@1: The cow chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "dog" "-")
The dog is nice.
Unknown
rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "+")
The cow does not need the squirrel.
Unknown
inv-random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cow chases the squirrel.[(triple1)] The dog is green.[(triple2)] The squirrel chases the cow.[(triple3)] @1: The squirrel chases the dog.[(((triple3) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple3) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1