The cat chases the tiger. The cat is big. The cat likes the squirrel. The squirrel is blue. The squirrel likes the cat. The squirrel likes the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger sees the cat. The tiger sees the squirrel. If something is red then it sees the tiger. If something chases the squirrel then the squirrel sees the cat. If something is red and it likes the tiger then the tiger sees the squirrel. If something is blue then it likes the cat. If something chases the cat then it is green. If something likes the tiger and it likes the squirrel then the squirrel is young.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something is red then it sees the tiger.
((("something" "is" "red" "+")) -> ("something" "sees" "tiger" "+"))
If something chases the squirrel then the squirrel sees the cat.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "sees" "cat" "+"))
If something is red and it likes the tiger then the tiger sees the squirrel.
((("something" "is" "red" "+") ("something" "likes" "tiger" "+")) -> ("tiger" "sees" "squirrel" "+"))
If something is blue then it likes the cat.
((("something" "is" "blue" "+")) -> ("something" "likes" "cat" "+"))
If something chases the cat then it is green.
((("something" "chases" "cat" "+")) -> ("something" "is" "green" "+"))
If something likes the tiger and it likes the squirrel then the squirrel is young.
((("something" "likes" "tiger" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
The squirrel is blue.
True
1
proof
[(triple4)]
("squirrel" "is" "blue" "+")
triple4
The tiger does not chase the cat.
False
1
inv-proof
[(triple7)]
("tiger" "chases" "cat" "-")
triple7
The tiger is green.
True
2
proof
[(((triple7) -> rule5))]
("tiger" "is" "green" "+")
((triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel does not see the cat.
False
2
inv-proof
[(((triple8) -> rule2))]
("squirrel" "sees" "cat" "-")
((triple8) -> (rule2 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat does not see the tiger.
Unknown
inv-rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "tiger" "-")
The squirrel sees the tiger.
Unknown
rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "tiger" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
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 tiger.[(triple1)] The cat is big.[(triple2)] The cat likes the squirrel.[(triple3)] The squirrel is blue.[(triple4)] The squirrel likes the cat.[(triple5 OR ((triple4) -> rule4))] The squirrel likes the tiger.[(triple6)] The tiger chases the cat.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The squirrel sees the cat.[(((triple8) -> rule2))] The tiger is green.[(((triple7) -> rule5))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple5
((triple4) -> (rule4 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple8
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple9
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple10
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
((triple8) -> (rule2 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple7) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1