The cow is nice. The cow likes the squirrel. The cow likes the tiger. The cow does not visit the tiger. The rabbit is red. The rabbit visits the squirrel. The squirrel is red. The squirrel does not like the cow. The squirrel likes the tiger. The tiger is green. The tiger is red. The tiger likes the squirrel. If someone visits the cow then they do not like the cow. If someone is green then they chase the cow. If someone visits the squirrel then the squirrel chases the cow.
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone visits the cow then they do not like the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "likes" "cow" "-"))
If someone is green then they chase the cow.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cow" "+"))
If someone visits the squirrel then the squirrel chases the cow.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
The cow likes the tiger.
True
1
proof
[(triple3)]
("cow" "likes" "tiger" "+")
triple3
The tiger is not red.
False
1
inv-proof
[(triple11)]
("tiger" "is" "red" "-")
triple11
The squirrel chases the cow.
True
2
proof
[(((triple6) -> rule3))]
("squirrel" "chases" "cow" "+")
((triple6) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The tiger does not chase the cow.
False
2
inv-proof
[(((triple10) -> rule2))]
("tiger" "chases" "cow" "-")
((triple10) -> (rule2 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "cow" "-")
The rabbit chases the cow.
Unknown
rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "cow" "+")
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The cow does not visit the tiger.[(triple4)] The cow is nice.[(triple1)] The cow likes the squirrel.[(triple2)] The cow likes the tiger.[(triple3)] The rabbit is red.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel does not like the cow.[(triple8)] The squirrel is red.[(triple7)] The squirrel likes the tiger.[(triple9)] The tiger is green.[(triple10)] The tiger is red.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The squirrel chases the cow.[(((triple6) -> rule3))] The tiger chases the cow.[(((triple10) -> rule2))]
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple6
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple6) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((triple10) -> (rule2 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1