The bald eagle likes the lion. The lion chases the bald eagle. The tiger chases the lion. If someone eats the tiger then they are young. If someone is blue and they eat the lion then the lion is not green. If someone is kind and they eat the lion then they like the tiger. If someone likes the lion then they eat the tiger. If someone eats the bald eagle and they are kind then the bald eagle is red. If someone chases the lion and they are not kind then they like the lion.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone eats the tiger then they are young.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and they eat the lion then the lion is not green.
((("someone" "is" "blue" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "green" "-"))
If someone is kind and they eat the lion then they like the tiger.
((("someone" "is" "kind" "+") ("someone" "eats" "lion" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the lion then they eat the tiger.
((("someone" "likes" "lion" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the bald eagle and they are kind then the bald eagle is red.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "is" "red" "+"))
If someone chases the lion and they are not kind then they like the lion.
((("someone" "chases" "lion" "+") ("someone" "is" "kind" "~")) -> ("someone" "likes" "lion" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple1)]
("bald eagle" "likes" "lion" "+")
triple1
The tiger does not chase the lion.
False
1
inv-proof
[(triple3)]
("tiger" "chases" "lion" "-")
triple3
The bald eagle eats the tiger.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "eats" "tiger" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "eats" "tiger" "-")
((triple1) -> (rule4 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
True
3
proof
[(((((triple1) -> rule4)) -> rule1))]
("bald eagle" "is" "young" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The bald eagle is not young.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule1))]
("bald eagle" "is" "young" "-")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "lion" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "red" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The lion does not chase the tiger.
Unknown
inv-random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle likes the lion.[(triple1)] The lion chases the bald eagle.[(triple2)] The tiger chases the lion.[(triple3)] @1: The bald eagle eats the tiger.[(((triple1) -> rule4))] @2: The bald eagle is young.[(((((triple1) -> rule4)) -> rule1))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2