The bald eagle eats the rabbit. The lion likes the bald eagle. The rabbit eats the bald eagle. The tiger is blue. If someone likes the bald eagle then the bald eagle chases the lion.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone likes the bald eagle then the bald eagle chases the lion.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "eats" "bald eagle" "+")
triple3
The lion does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("lion" "likes" "bald eagle" "-")
triple2
The bald eagle chases the lion.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not chase the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "lion" "-")
((triple2) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The rabbit chases the lion.
Unknown
random
[@0: The rabbit chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "lion" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The lion likes the bald eagle.[(triple2)] The rabbit eats the bald eagle.[(triple3)] The tiger is blue.[(triple4)] @1: The bald eagle chases the lion.[(((triple2) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1