The dog does not chase the lion. The lion eats the tiger. The lion likes the dog. The lion likes the tiger. The squirrel chases the lion. The squirrel is not rough. The tiger likes the lion. If someone is blue and they do not like the dog then the dog chases the squirrel. If someone likes the dog then they do not eat the squirrel. If someone likes the lion and they do not like the tiger then the lion is red.
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone is blue and they do not like the dog then the dog chases the squirrel.
((("someone" "is" "blue" "+") ("someone" "likes" "dog" "~")) -> ("dog" "chases" "squirrel" "+"))
If someone likes the dog then they do not eat the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "squirrel" "-"))
If someone likes the lion and they do not like the tiger then the lion is red.
((("someone" "likes" "lion" "+") ("someone" "likes" "tiger" "~")) -> ("lion" "is" "red" "+"))
The tiger likes the lion.
True
1
proof
[(triple7)]
("tiger" "likes" "lion" "+")
triple7
The squirrel is rough.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "rough" "+")
triple6
The lion does not eat the squirrel.
True
2
proof
[(((triple3) -> rule2))]
("lion" "eats" "squirrel" "-")
((triple3) -> (rule2 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1
The lion eats the squirrel.
False
2
inv-proof
[(((triple3) -> rule2))]
("lion" "eats" "squirrel" "+")
((triple3) -> (rule2 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "red" "-")
The dog chases the squirrel.
Unknown
rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "squirrel" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The lion eats the dog.
Unknown
random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "+")
@0: The dog does not chase the lion.[(triple1)] The lion eats the tiger.[(triple2)] The lion likes the dog.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel is not rough.[(triple6)] The tiger likes the lion.[(triple7)] @1: The lion does not eat the squirrel.[(((triple3) -> rule2))]
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
The lion likes the dog.
("lion" "likes" "dog" "+")
triple3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple5
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple6
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple7
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
((triple3) -> (rule2 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1