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