The bear does not visit the dog. The dog chases the squirrel. The squirrel does not eat the bear. If the squirrel eats the bear then the bear is cold. If someone chases the dog and they do not visit the squirrel then the dog eats the squirrel. If someone eats the dog then the dog eats the squirrel. If someone visits the squirrel then they visit the dog. If someone eats the bear then the bear does not chase the dog. If someone visits the dog and they are nice then the dog chases the squirrel. If someone chases the squirrel and they are not cold then they do not eat the squirrel. If someone eats the squirrel and they are not big then the squirrel is round.
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
If the squirrel eats the bear then the bear is cold.
((("squirrel" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone chases the dog and they do not visit the squirrel then the dog eats the squirrel.
((("someone" "chases" "dog" "+") ("someone" "visits" "squirrel" "~")) -> ("dog" "eats" "squirrel" "+"))
If someone eats the dog then the dog eats the squirrel.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If someone visits the squirrel then they visit the dog.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "dog" "+"))
If someone eats the bear then the bear does not chase the dog.
((("someone" "eats" "bear" "+")) -> ("bear" "chases" "dog" "-"))
If someone visits the dog and they are nice then the dog chases the squirrel.
((("someone" "visits" "dog" "+") ("someone" "is" "nice" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone chases the squirrel and they are not cold then they do not eat the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "is" "cold" "~")) -> ("someone" "eats" "squirrel" "-"))
If someone eats the squirrel and they are not big then the squirrel is round.
((("someone" "eats" "squirrel" "+") ("someone" "is" "big" "~")) -> ("squirrel" "is" "round" "+"))
The dog chases the squirrel.
True
1
proof
[(triple2)]
("dog" "chases" "squirrel" "+")
triple2
The dog does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The squirrel does not visit the dog.
Unknown
inv-rconc
[@1: The squirrel visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "dog" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear does not visit the dog.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel does not eat the bear.[(triple3)]
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple3