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