The bald eagle chases the lion. The bald eagle eats the rabbit. The lion is red. The lion is not round. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit eats the lion. If something eats the bald eagle and it eats the lion then the lion eats the rabbit.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
If something eats the bald eagle and it eats the lion then the lion eats the rabbit.
((("something" "eats" "bald eagle" "+") ("something" "eats" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple5)]
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit does not eat the lion.
False
1
inv-proof
[(triple7)]
("rabbit" "eats" "lion" "-")
triple7
The lion eats the rabbit.
True
3
proof
[(((triple6 triple7) -> rule1))]
("lion" "eats" "rabbit" "+")
((triple6 triple7) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion does not eat the rabbit.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("lion" "eats" "rabbit" "-")
((triple6 triple7) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The lion is not round.[(triple4)] The lion is red.[(triple3)] The rabbit chases the bald eagle.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit eats the lion.[(triple7)] @1: The lion eats the rabbit.[(((triple6 triple7) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The lion is not round.
("lion" "is" "round" "-")
triple4
The lion is red.
("lion" "is" "red" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple6 triple7) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1