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