The bald eagle eats the tiger. The lion sees the rabbit. The rabbit is blue. The tiger is kind. If something sees the lion and the lion likes the rabbit then the rabbit likes the lion. If the lion sees the tiger then the lion sees the bald eagle. If something sees the lion then it eats the rabbit. If something is big and it eats the bald eagle then it eats the lion. If something is rough and it eats the rabbit then it likes the lion. If the rabbit sees the bald eagle then the bald eagle eats the tiger. If something is blue then it eats the tiger. If the lion likes the bald eagle then the bald eagle likes the rabbit.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something sees the lion and the lion likes the rabbit then the rabbit likes the lion.
((("something" "sees" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If the lion sees the tiger then the lion sees the bald eagle.
((("lion" "sees" "tiger" "+")) -> ("lion" "sees" "bald eagle" "+"))
If something sees the lion then it eats the rabbit.
((("something" "sees" "lion" "+")) -> ("something" "eats" "rabbit" "+"))
If something is big and it eats the bald eagle then it eats the lion.
((("something" "is" "big" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "eats" "lion" "+"))
If something is rough and it eats the rabbit then it likes the lion.
((("something" "is" "rough" "+") ("something" "eats" "rabbit" "+")) -> ("something" "likes" "lion" "+"))
If the rabbit sees the bald eagle then the bald eagle eats the tiger.
((("rabbit" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If something is blue then it eats the tiger.
((("something" "is" "blue" "+")) -> ("something" "eats" "tiger" "+"))
If the lion likes the bald eagle then the bald eagle likes the rabbit.
((("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
The bald eagle eats the tiger.
True
1
proof
[(triple1)]
("bald eagle" "eats" "tiger" "+")
triple1
The tiger is not kind.
False
1
inv-proof
[(triple4)]
("tiger" "is" "kind" "-")
triple4
The rabbit eats the tiger.
True
2
proof
[(((triple3) -> rule7))]
("rabbit" "eats" "tiger" "+")
((triple3) -> (rule7 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit does not eat the tiger.
False
2
inv-proof
[(((triple3) -> rule7))]
("rabbit" "eats" "tiger" "-")
((triple3) -> (rule7 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "lion" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle eats the tiger.[(triple1)] The lion sees the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The tiger is kind.[(triple4)] @1: The rabbit eats the tiger.[(((triple3) -> rule7))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple3) -> (rule7 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1