The cow chases the dog. The cow is blue. The cow is young. The dog needs the lion. The lion does not chase the squirrel. The squirrel is not young. The squirrel needs the lion. If something needs the squirrel then it is cold. If something chases the lion and it does not chase the squirrel then the squirrel does not need the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something needs the squirrel then it is cold.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something chases the lion and it does not chase the squirrel then the squirrel does not need the cow.
((("something" "chases" "lion" "+") ("something" "chases" "squirrel" "~")) -> ("squirrel" "needs" "cow" "-"))
The dog needs the lion.
True
1
proof
[(triple4)]
("dog" "needs" "lion" "+")
triple4
The dog does not need the lion.
False
1
inv-proof
[(triple4)]
("dog" "needs" "lion" "-")
triple4
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The cow is young.[(triple3)] The dog needs the lion.[(triple4)] The lion does not chase the squirrel.[(triple5)] The squirrel is not young.[(triple6)] The squirrel needs the lion.[(triple7)]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The dog needs the lion.
("dog" "needs" "lion" "+")
triple4
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
triple5
The squirrel is not young.
("squirrel" "is" "young" "-")
triple6
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple7