The dog eats the squirrel. The dog is cold. The dog is nice. The dog does not visit the squirrel. The squirrel does not eat the dog. The squirrel is rough. The squirrel needs the dog. If something is nice and it does not eat the squirrel then it eats the dog.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something is nice and it does not eat the squirrel then it eats the dog.
((("something" "is" "nice" "+") ("something" "eats" "squirrel" "~")) -> ("something" "eats" "dog" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "eats" "squirrel" "-")
triple1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The dog does not visit the squirrel.[(triple4)] The dog eats the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The squirrel does not eat the dog.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the dog.[(triple7)]
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7