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