The bear chases the dog. The bear eats the dog. The bear is blue. The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear likes the dog. The dog eats the bear. The dog is cold. The dog is nice. The dog likes the bear. If something eats the dog then the dog likes the bear. If something eats the dog then it chases the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something eats the dog then the dog likes the bear.
((("something" "eats" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something eats the dog then it chases the dog.
((("something" "eats" "dog" "+")) -> ("something" "chases" "dog" "+"))
The bear is kind.
True
1
proof
[(triple5)]
("bear" "is" "kind" "+")
triple5
The bear is not nice.
False
1
inv-proof
[(triple6)]
("bear" "is" "nice" "-")
triple6
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "dog" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the dog.[(triple1 OR ((triple2) -> rule2))] The bear eats the dog.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The bear likes the dog.[(triple8)] The dog eats the bear.[(triple9)] The dog is cold.[(triple10)] The dog is nice.[(triple11)] The dog likes the bear.[(triple12 OR ((triple2) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
((triple2) -> (rule2 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear likes the dog.
("bear" "likes" "dog" "+")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog likes the bear.
("dog" "likes" "bear" "+")
triple12
((triple2) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1