The cat eats the squirrel. The cat is big. The cat is red. The cat is rough. The cat likes the tiger. The lion eats the cat. The lion is kind. The lion sees the cat. The squirrel is kind. The squirrel sees the tiger. The tiger is kind. The tiger is nice. The tiger likes the lion. The tiger sees the cat. The tiger sees the squirrel. If something is red then it is kind. If something is kind then it eats the lion.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it eats the lion.
((("something" "is" "kind" "+")) -> ("something" "eats" "lion" "+"))
The cat eats the squirrel.
True
1
proof
[(triple1)]
("cat" "eats" "squirrel" "+")
triple1
The cat does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "eats" "squirrel" "-")
triple1
The lion eats the lion.
True
2
proof
[(((triple7) -> rule2))]
("lion" "eats" "lion" "+")
((triple7) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple7) -> rule2))]
("lion" "eats" "lion" "-")
((triple7) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cat eats the lion.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("cat" "eats" "lion" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not eat the lion.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("cat" "eats" "lion" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The cat does not see the squirrel.
Unknown
inv-random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat likes the tiger.[(triple5)] The lion eats the cat.[(triple6)] The lion is kind.[(triple7)] The lion sees the cat.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger likes the lion.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The cat is kind.[(((triple3) -> rule1))] The lion eats the lion.[(((triple7) -> rule2))] The squirrel eats the lion.[(((triple9) -> rule2))] The tiger eats the lion.[(((triple11) -> rule2))] @2: The cat eats the lion.[(((((triple3) -> rule1)) -> rule2))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion sees the cat.
("lion" "sees" "cat" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The cat is kind.
("cat" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple7) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple9) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((triple11) -> (rule2 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2