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