The bald eagle is young. The bald eagle does not see the tiger. The cat sees the tiger. The lion eats the bald eagle. The lion eats the cat. The lion is not cold. The tiger likes the lion. If someone sees the tiger then the tiger sees the lion. If someone sees the lion then the lion is kind.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone sees the tiger then the tiger sees the lion.
((("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "lion" "+"))
If someone sees the lion then the lion is kind.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "kind" "+"))
The lion eats the cat.
True
1
proof
[(triple5)]
("lion" "eats" "cat" "+")
triple5
The tiger does not like the lion.
False
1
inv-proof
[(triple7)]
("tiger" "likes" "lion" "-")
triple7
The tiger sees the lion.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "sees" "lion" "+")
((triple3) -> (rule1 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger does not see the lion.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "sees" "lion" "-")
((triple3) -> (rule1 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is kind.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("lion" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int2
The lion is not kind.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("lion" "is" "kind" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int2
The tiger does not like the cat.
Unknown
inv-random
[@0: The tiger likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cat" "-")
The tiger eats the lion.
Unknown
random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "+")
The cat does not eat the lion.
Unknown
inv-random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle does not see the tiger.[(triple2)] The bald eagle is young.[(triple1)] The cat sees the tiger.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion eats the cat.[(triple5)] The lion is not cold.[(triple6)] The tiger likes the lion.[(triple7)] @1: The tiger sees the lion.[(((triple3) -> rule1))] @2: The lion is kind.[(((((triple3) -> rule1)) -> rule2))]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion eats the cat.
("lion" "eats" "cat" "+")
triple5
The lion is not cold.
("lion" "is" "cold" "-")
triple6
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple7
The tiger sees the lion.
("tiger" "sees" "lion" "+")
((triple3) -> (rule1 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int2