The cat is green. The dog eats the squirrel. The squirrel sees the dog. If someone is nice and they eat the dog then the dog is green. If the cat needs the squirrel and the squirrel is big then the squirrel needs the cat. If someone is round then they see the squirrel.
The cat is green.
("cat" "is" "green" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone is nice and they eat the dog then the dog is green.
((("someone" "is" "nice" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "green" "+"))
If the cat needs the squirrel and the squirrel is big then the squirrel needs the cat.
((("cat" "needs" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "needs" "cat" "+"))
If someone is round then they see the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "sees" "squirrel" "+"))
The dog eats the squirrel.
True
1
proof
[(triple2)]
("dog" "eats" "squirrel" "+")
triple2
The cat is not green.
False
1
inv-proof
[(triple1)]
("cat" "is" "green" "-")
triple1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "green" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cat is green.[(triple1)] The dog eats the squirrel.[(triple2)] The squirrel sees the dog.[(triple3)]
The cat is green.
("cat" "is" "green" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple3