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