The cat chases the squirrel. The cat is cold. The cat is rough. The cat likes the tiger. The lion is not nice. The lion is rough. The squirrel does not chase the cat. The squirrel chases the lion. The squirrel chases the tiger. The squirrel is nice. The squirrel is rough. The squirrel is young. The squirrel likes the lion. The tiger does not eat the lion. The tiger likes the squirrel. If something eats the cat and it does not chase the lion then the cat chases the tiger. If something eats the cat and the cat does not eat the lion then it is young. If something likes the cat then it chases the cat. If something eats the tiger then the tiger is not nice. If something likes the tiger then it likes the cat. All rough things are blue. If the squirrel eats the tiger then the tiger does not eat the squirrel. If the squirrel does not like the cat then the squirrel is cold.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is rough.
("lion" "is" "rough" "+")
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something eats the cat and it does not chase the lion then the cat chases the tiger.
((("something" "eats" "cat" "+") ("something" "chases" "lion" "~")) -> ("cat" "chases" "tiger" "+"))
If something eats the cat and the cat does not eat the lion then it is young.
((("something" "eats" "cat" "+") ("cat" "eats" "lion" "~")) -> ("something" "is" "young" "+"))
If something likes the cat then it chases the cat.
((("something" "likes" "cat" "+")) -> ("something" "chases" "cat" "+"))
If something eats the tiger then the tiger is not nice.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "nice" "-"))
If something likes the tiger then it likes the cat.
((("something" "likes" "tiger" "+")) -> ("something" "likes" "cat" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If the squirrel eats the tiger then the tiger does not eat the squirrel.
((("squirrel" "eats" "tiger" "+")) -> ("tiger" "eats" "squirrel" "-"))
If the squirrel does not like the cat then the squirrel is cold.
((("squirrel" "likes" "cat" "~")) -> ("squirrel" "is" "cold" "+"))
The squirrel is rough.
True
1
proof
[(triple11)]
("squirrel" "is" "rough" "+")
triple11
The lion is nice.
False
1
inv-proof
[(triple5)]
("lion" "is" "nice" "+")
triple5
The cat is blue.
True
2
proof
[(((triple3) -> rule6))]
("cat" "is" "blue" "+")
((triple3) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple4) -> rule5))]
("cat" "likes" "cat" "-")
((triple4) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
True
3
proof
[(((((triple4) -> rule5)) -> rule3))]
("cat" "chases" "cat" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat does not chase the cat.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule3))]
("cat" "chases" "cat" "-")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat does not chase the tiger.
Unknown
inv-rconc
[@1: The cat chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "tiger" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "young" "+")
The tiger does not chase the cat.
Unknown
inv-rconc
[@2: The tiger chases the cat.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("tiger" "chases" "cat" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The cat chases the squirrel.[(triple1)] The cat is cold.[(triple2)] The cat is rough.[(triple3)] The cat likes the tiger.[(triple4)] The lion is not nice.[(triple5)] The lion is rough.[(triple6)] The squirrel chases the lion.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel does not chase the cat.[(triple7)] The squirrel is nice.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the lion.[(triple13)] The tiger does not eat the lion.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The cat is blue.[(((triple3) -> rule6))] The cat likes the cat.[(((triple4) -> rule5))] The lion is blue.[(((triple6) -> rule6))] The squirrel is blue.[(((triple11) -> rule6))] @2: The cat chases the cat.[(((((triple4) -> rule5)) -> rule3))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The lion is not nice.
("lion" "is" "nice" "-")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple8
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple13
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple14
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
The cat is blue.
("cat" "is" "blue" "+")
((triple3) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple4) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple6) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple11) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2