The bald eagle does not eat the lion. The bald eagle eats the rabbit. The bald eagle is red. The bald eagle is round. The bald eagle likes the lion. The bald eagle does not like the rabbit. The lion eats the bald eagle. The lion eats the rabbit. The lion is not nice. The lion likes the bald eagle. The lion does not like the rabbit. The lion sees the rabbit. The rabbit does not eat the bald eagle. The rabbit eats the lion. The rabbit is blue. The rabbit sees the bald eagle. If someone sees the bald eagle and they are round then they like the rabbit. If someone sees the lion then they like the lion.
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone sees the bald eagle and they are round then they like the rabbit.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone sees the lion then they like the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "likes" "lion" "+"))
The bald eagle does not like the rabbit.
True
1
proof
[(triple6)]
("bald eagle" "likes" "rabbit" "-")
triple6
The rabbit does not eat the lion.
False
1
inv-proof
[(triple14)]
("rabbit" "eats" "lion" "-")
triple14
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "lion" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle does not like the rabbit.[(triple6)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the lion.[(triple5)] The lion does not like the rabbit.[(triple11)] The lion eats the bald eagle.[(triple7)] The lion eats the rabbit.[(triple8)] The lion is not nice.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion sees the rabbit.[(triple12)] The rabbit does not eat the bald eagle.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is blue.[(triple15)] The rabbit sees the bald eagle.[(triple16)]
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
triple1
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple6
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple11
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple8
The lion is not nice.
("lion" "is" "nice" "-")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple12
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple13
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple14
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple16