The cat chases the squirrel. The cat chases the tiger. The cat eats the squirrel. The cat visits the tiger. The lion eats the cat. The lion is kind. The lion is red. The squirrel visits the tiger. The tiger visits the cat. The tiger visits the lion. If someone is red and they visit the squirrel then the squirrel is kind. If the squirrel is cold and the squirrel eats the lion then the squirrel chases the tiger. If someone eats the cat and they chase the tiger then they visit the tiger. If someone is kind then they visit the squirrel. If someone visits the squirrel and they chase the lion then the lion visits the squirrel. If someone eats the cat then the cat is red.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone is red and they visit the squirrel then the squirrel is kind.
((("someone" "is" "red" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If the squirrel is cold and the squirrel eats the lion then the squirrel chases the tiger.
((("squirrel" "is" "cold" "+") ("squirrel" "eats" "lion" "+")) -> ("squirrel" "chases" "tiger" "+"))
If someone eats the cat and they chase the tiger then they visit the tiger.
((("someone" "eats" "cat" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is kind then they visit the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the squirrel and they chase the lion then the lion visits the squirrel.
((("someone" "visits" "squirrel" "+") ("someone" "chases" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If someone eats the cat then the cat is red.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "red" "+"))
The tiger visits the cat.
True
1
proof
[(triple9)]
("tiger" "visits" "cat" "+")
triple9
The cat does not chase the tiger.
False
1
inv-proof
[(triple2)]
("cat" "chases" "tiger" "-")
triple2
The lion visits the squirrel.
True
2
proof
[(((triple6) -> rule4))]
("lion" "visits" "squirrel" "+")
((triple6) -> (rule4 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule4))]
("lion" "visits" "squirrel" "-")
((triple6) -> (rule4 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel is kind.
True
4
proof
[(((triple7 ((triple6) -> rule4)) -> rule1))]
("squirrel" "is" "kind" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel is not kind.
False
4
inv-proof
[(((triple7 ((triple6) -> rule4)) -> rule1))]
("squirrel" "is" "kind" "-")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel visits the squirrel.
True
5
proof
[(((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule4))]
("squirrel" "visits" "squirrel" "+")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel does not visit the squirrel.
False
5
inv-proof
[(((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule4))]
("squirrel" "visits" "squirrel" "-")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The lion does not visit the tiger.
Unknown
inv-rconc
[@1: The lion visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "tiger" "-")
The cat visits the squirrel.
Unknown
rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "squirrel" "+")
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger visits the squirrel.
Unknown
rconc
[@1: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "visits" "squirrel" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The tiger eats the cat.
Unknown
random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The squirrel eats the lion.
Unknown
random
[@0: The squirrel eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "lion" "+")
@0: The cat chases the squirrel.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the squirrel.[(triple3)] The cat visits the tiger.[(triple4)] The lion eats the cat.[(triple5)] The lion is kind.[(triple6)] The lion is red.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger visits the cat.[(triple9)] The tiger visits the lion.[(triple10)] @1: The cat is red.[(((triple5) -> rule6))] The lion visits the squirrel.[(((triple6) -> rule4))] @2: The squirrel is kind.[(((triple7 ((triple6) -> rule4)) -> rule1))] @3: The squirrel visits the squirrel.[(((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule4))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The lion eats the cat.
("lion" "eats" "cat" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple9
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
((triple5) -> (rule6 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((triple6) -> (rule4 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3