The bear visits the tiger. The dog eats the bear. The squirrel likes the bear. The tiger is round. If something eats the dog and it does not like the dog then the dog likes the squirrel. If something is cold and not round then it eats the tiger. If the tiger visits the dog then the dog is nice. If something likes the dog then it is cold. If the squirrel is not nice then the squirrel does not like the tiger. If something is nice then it eats the bear.
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something eats the dog and it does not like the dog then the dog likes the squirrel.
((("something" "eats" "dog" "+") ("something" "likes" "dog" "~")) -> ("dog" "likes" "squirrel" "+"))
If something is cold and not round then it eats the tiger.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "eats" "tiger" "+"))
If the tiger visits the dog then the dog is nice.
((("tiger" "visits" "dog" "+")) -> ("dog" "is" "nice" "+"))
If something likes the dog then it is cold.
((("something" "likes" "dog" "+")) -> ("something" "is" "cold" "+"))
If the squirrel is not nice then the squirrel does not like the tiger.
((("squirrel" "is" "nice" "~")) -> ("squirrel" "likes" "tiger" "-"))
If something is nice then it eats the bear.
((("something" "is" "nice" "+")) -> ("something" "eats" "bear" "+"))
The bear visits the tiger.
True
1
proof
[(triple1)]
("bear" "visits" "tiger" "+")
triple1
The squirrel does not like the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "bear" "-")
triple3
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "tiger" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bear visits the tiger.[(triple1)] The dog eats the bear.[(triple2)] The squirrel likes the bear.[(triple3)] The tiger is round.[(triple4)]
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple1
The dog eats the bear.
("dog" "eats" "bear" "+")
triple2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4