The dog chases the squirrel. The dog is blue. The dog visits the lion. The lion chases the dog. The lion chases the squirrel. The lion is young. The lion likes the dog. The lion visits the dog. The lion does not visit the squirrel. The squirrel is green. If someone is green then they chase the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is green then they chase the dog.
((("someone" "is" "green" "+")) -> ("someone" "chases" "dog" "+"))
The lion is young.
True
1
proof
[(triple6)]
("lion" "is" "young" "+")
triple6
The lion does not chase the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "chases" "squirrel" "-")
triple5
The squirrel chases the dog.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "chases" "dog" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "chases" "dog" "-")
((triple10) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The dog likes the lion.
Unknown
random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog visits the lion.[(triple3)] The lion chases the dog.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not visit the squirrel.[(triple9)] The lion is young.[(triple6)] The lion likes the dog.[(triple7)] The lion visits the dog.[(triple8)] The squirrel is green.[(triple10)] @1: The squirrel chases the dog.[(((triple10) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog visits the lion.
("dog" "visits" "lion" "+")
triple3
The lion chases the dog.
("lion" "chases" "dog" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple9
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the dog.
("lion" "likes" "dog" "+")
triple7
The lion visits the dog.
("lion" "visits" "dog" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1