The bear eats the dog. The bear is nice. The bear likes the dog. The dog is blue. The dog is nice. The dog likes the bear. The dog visits the bear. Green things are red. If something eats the dog and the dog likes the bear then it eats the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something eats the dog and the dog likes the bear then it eats the bear.
((("something" "eats" "dog" "+") ("dog" "likes" "bear" "+")) -> ("something" "eats" "bear" "+"))
The bear eats the dog.
True
1
proof
[(triple1)]
("bear" "eats" "dog" "+")
triple1
The bear does not eat the dog.
False
1
inv-proof
[(triple1)]
("bear" "eats" "dog" "-")
triple1
The bear eats the bear.
True
3
proof
[(((triple1 triple6) -> rule2))]
("bear" "eats" "bear" "+")
((triple1 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
3
inv-proof
[(((triple1 triple6) -> rule2))]
("bear" "eats" "bear" "-")
((triple1 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The bear likes the dog.[(triple3)] The dog is blue.[(triple4)] The dog is nice.[(triple5)] The dog likes the bear.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear eats the bear.[(((triple1 triple6) -> rule2))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1