The dog does not eat the squirrel. The dog is cold. The dog needs the squirrel. The dog does not visit the squirrel. The rabbit eats the squirrel. The rabbit is rough. The rabbit needs the dog. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel eats the dog. The squirrel eats the rabbit. The squirrel is cold. If someone visits the dog and the dog is kind then they are red. If someone needs the dog and they do not visit the rabbit then the dog is not nice.
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone visits the dog and the dog is kind then they are red.
((("someone" "visits" "dog" "+") ("dog" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone needs the dog and they do not visit the rabbit then the dog is not nice.
((("someone" "needs" "dog" "+") ("someone" "visits" "rabbit" "~")) -> ("dog" "is" "nice" "-"))
The dog does not visit the squirrel.
True
1
proof
[(triple4)]
("dog" "visits" "squirrel" "-")
triple4
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple11)]
("squirrel" "eats" "rabbit" "-")
triple11
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The dog does not eat the squirrel.[(triple1)] The dog does not visit the squirrel.[(triple4)] The dog is cold.[(triple2)] The dog needs the squirrel.[(triple3)] The rabbit eats the squirrel.[(triple5)] The rabbit is rough.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit visits the dog.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is cold.[(triple12)]
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple1
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12