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