The bear eats the cat. The bear is green. The bear is nice. The cat is cold. The dog is cold. The dog likes the bear. The lion chases the bear. If someone is nice then they eat the dog. If someone chases the lion then the lion is green.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cat is cold.
("cat" "is" "cold" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
If someone is nice then they eat the dog.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the lion then the lion is green.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "green" "+"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The dog does not like the bear.
False
1
inv-proof
[(triple6)]
("dog" "likes" "bear" "-")
triple6
The lion does not eat the dog.
Unknown
inv-rconc
[@1: The lion eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "dog" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The cat is cold.[(triple4)] The dog is cold.[(triple5)] The dog likes the bear.[(triple6)] The lion chases the bear.[(triple7)] @1: The bear eats the dog.[(((triple3) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1