The bear visits the dog. The dog likes the bear. The dog visits the bear. If something is big and it needs the dog then the dog is big. If something needs the bear and it is not kind then it visits the dog. If something likes the bear then the bear is green.
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something is big and it needs the dog then the dog is big.
((("something" "is" "big" "+") ("something" "needs" "dog" "+")) -> ("dog" "is" "big" "+"))
If something needs the bear and it is not kind then it visits the dog.
((("something" "needs" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "visits" "dog" "+"))
If something likes the bear then the bear is green.
((("something" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
The dog likes the bear.
True
1
proof
[(triple2)]
("dog" "likes" "bear" "+")
triple2
The bear does not visit the dog.
False
1
inv-proof
[(triple1)]
("bear" "visits" "dog" "-")
triple1
The bear is green.
True
2
proof
[(((triple2) -> rule3))]
("bear" "is" "green" "+")
((triple2) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "is" "green" "-")
((triple2) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear visits the dog.[(triple1)] The dog likes the bear.[(triple2)] The dog visits the bear.[(triple3)] @1: The bear is green.[(((triple2) -> rule3))]
The bear visits the dog.
("bear" "visits" "dog" "+")
triple1
The dog likes the bear.
("dog" "likes" "bear" "+")
triple2
The dog visits the bear.
("dog" "visits" "bear" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1