The cat chases the cow. The cat chases the squirrel. The cat chases the tiger. The cat is blue. The cat is kind. The cat is young. The cat likes the cow. The cat likes the squirrel. The cow chases the tiger. The cow is young. The cow visits the squirrel. The squirrel likes the cat. The squirrel visits the tiger. The tiger chases the squirrel. The tiger likes the cat. The tiger visits the cat. If something chases the cat and it is young then it is green. If something is kind then it chases the cat. If something likes the tiger then the tiger likes the cat. If the cow visits the cat then the cow chases the squirrel. If something is blue and green then it likes the tiger. If something chases the squirrel then it visits the tiger.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something chases the cat and it is young then it is green.
((("something" "chases" "cat" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is kind then it chases the cat.
((("something" "is" "kind" "+")) -> ("something" "chases" "cat" "+"))
If something likes the tiger then the tiger likes the cat.
((("something" "likes" "tiger" "+")) -> ("tiger" "likes" "cat" "+"))
If the cow visits the cat then the cow chases the squirrel.
((("cow" "visits" "cat" "+")) -> ("cow" "chases" "squirrel" "+"))
If something is blue and green then it likes the tiger.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "likes" "tiger" "+"))
If something chases the squirrel then it visits the tiger.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "tiger" "+"))
The cat is young.
True
1
proof
[(triple6)]
("cat" "is" "young" "+")
triple6
The cat does not chase the tiger.
False
1
inv-proof
[(triple3)]
("cat" "chases" "tiger" "-")
triple3
The cat chases the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "chases" "cat" "+")
((triple5) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "chases" "cat" "-")
((triple5) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is green.
True
4
proof
[(((((triple5) -> rule2) triple6) -> rule1))]
("cat" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is not green.
False
4
inv-proof
[(((((triple5) -> rule2) triple6) -> rule1))]
("cat" "is" "green" "-")
((((triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat likes the tiger.
True
6
proof
[(((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5))]
("cat" "likes" "tiger" "+")
((triple4 ((((triple5) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat does not like the tiger.
False
6
inv-proof
[(((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5))]
("cat" "likes" "tiger" "-")
((triple4 ((((triple5) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The squirrel chases the cat.
Unknown
rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "cat" "+")
The tiger does not chase the cat.
Unknown
inv-rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "cat" "-")
The squirrel likes the tiger.
Unknown
rconc
[@1: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "tiger" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not like the cow.
Unknown
inv-random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the squirrel.[(triple2)] The cat chases the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is kind.[(triple5)] The cat is young.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the squirrel.[(triple8)] The cow chases the tiger.[(triple9)] The cow is young.[(triple10)] The cow visits the squirrel.[(triple11)] The squirrel likes the cat.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger chases the squirrel.[(triple14)] The tiger likes the cat.[(triple15 OR ((((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5)) -> rule3))] The tiger visits the cat.[(triple16)] @1: The cat chases the cat.[(((triple5) -> rule2))] The cat visits the tiger.[(((triple2) -> rule6))] The tiger visits the tiger.[(((triple14) -> rule6))] @2: The cat is green.[(((((triple5) -> rule2) triple6) -> rule1))] @3: The cat likes the tiger.[(((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple8
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple11
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple12
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple13
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
((((triple4 ((((triple5) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple5) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
((triple2) -> (rule6 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple14) -> (rule6 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple4 ((((triple5) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3