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