The bear likes the dog. The bear needs the squirrel. The bear visits the squirrel. The dog is green. The dog is not round. The lion is red. The squirrel visits the lion. If something needs the squirrel then it needs the bear. If something needs the squirrel then it needs the bear. If the squirrel visits the lion and the lion does not visit the dog then the dog does not like the bear. If something is rough and it likes the lion then the lion needs the bear. If something is red and it does not visit the squirrel then the squirrel likes the lion. If the bear needs the squirrel and the bear does not visit the lion then the squirrel likes the lion.
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not round.
("dog" "is" "round" "-")
The lion is red.
("lion" "is" "red" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something needs the squirrel then it needs the bear.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "bear" "+"))
If something needs the squirrel then it needs the bear.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "bear" "+"))
If the squirrel visits the lion and the lion does not visit the dog then the dog does not like the bear.
((("squirrel" "visits" "lion" "+") ("lion" "visits" "dog" "~")) -> ("dog" "likes" "bear" "-"))
If something is rough and it likes the lion then the lion needs the bear.
((("something" "is" "rough" "+") ("something" "likes" "lion" "+")) -> ("lion" "needs" "bear" "+"))
If something is red and it does not visit the squirrel then the squirrel likes the lion.
((("something" "is" "red" "+") ("something" "visits" "squirrel" "~")) -> ("squirrel" "likes" "lion" "+"))
If the bear needs the squirrel and the bear does not visit the lion then the squirrel likes the lion.
((("bear" "needs" "squirrel" "+") ("bear" "visits" "lion" "~")) -> ("squirrel" "likes" "lion" "+"))
The dog is not round.
True
1
proof
[(triple5)]
("dog" "is" "round" "-")
triple5
The bear does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "visits" "squirrel" "-")
triple3
The bear needs the bear.
True
2
proof
[(((triple2) -> rule1) OR ((triple2) -> rule2))]
("bear" "needs" "bear" "+")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple2) -> rule2))]
("bear" "needs" "bear" "-")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bear" "-")
The lion needs the bear.
Unknown
rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "bear" "+")
The lion does not need the dog.
Unknown
inv-random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bear likes the dog.[(triple1)] The bear needs the squirrel.[(triple2)] The bear visits the squirrel.[(triple3)] The dog is green.[(triple4)] The dog is not round.[(triple5)] The lion is red.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The bear needs the bear.[(((triple2) -> rule1) OR ((triple2) -> rule2))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is not round.
("dog" "is" "round" "-")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1