The bear eats the cat. The bear is cold. The bear is not red. The bear likes the cat. The bear does not like the tiger. The cat chases the bear. The cat eats the bear. The cat eats the tiger. The cat is blue. The cat is cold. The cat is kind. The tiger chases the cat. If the bear eats the tiger and the tiger likes the bear then the bear likes the tiger. If someone likes the bear and the bear is not big then they chase the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
If the bear eats the tiger and the tiger likes the bear then the bear likes the tiger.
((("bear" "eats" "tiger" "+") ("tiger" "likes" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If someone likes the bear and the bear is not big then they chase the cat.
((("someone" "likes" "bear" "+") ("bear" "is" "big" "~")) -> ("someone" "chases" "cat" "+"))
The cat is blue.
True
1
proof
[(triple9)]
("cat" "is" "blue" "+")
triple9
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "cat" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not like the tiger.[(triple5)] The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear is not red.[(triple3)] The bear likes the cat.[(triple4)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat eats the tiger.[(triple8)] The cat is blue.[(triple9)] The cat is cold.[(triple10)] The cat is kind.[(triple11)] The tiger chases the cat.[(triple12)]
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple5
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple9
The cat is cold.
("cat" "is" "cold" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple11
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12