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