The bald eagle eats the tiger. The cow does not see the bald eagle. The rabbit needs the bald eagle. The tiger is not cold. If someone needs the cow and the cow eats the rabbit then they do not eat the rabbit. If someone eats the tiger and the tiger sees the bald eagle then they are blue. If someone is red and they do not see the cow then the cow does not eat the bald eagle. If someone sees the cow and they do not eat the cow then they need the tiger. If someone eats the rabbit and they eat the cow then they need the bald eagle. If someone sees the tiger and the tiger eats the cow then the cow does not eat the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
If someone needs the cow and the cow eats the rabbit then they do not eat the rabbit.
((("someone" "needs" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("someone" "eats" "rabbit" "-"))
If someone eats the tiger and the tiger sees the bald eagle then they are blue.
((("someone" "eats" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and they do not see the cow then the cow does not eat the bald eagle.
((("someone" "is" "red" "+") ("someone" "sees" "cow" "~")) -> ("cow" "eats" "bald eagle" "-"))
If someone sees the cow and they do not eat the cow then they need the tiger.
((("someone" "sees" "cow" "+") ("someone" "eats" "cow" "~")) -> ("someone" "needs" "tiger" "+"))
If someone eats the rabbit and they eat the cow then they need the bald eagle.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "cow" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone sees the tiger and the tiger eats the cow then the cow does not eat the tiger.
((("someone" "sees" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("cow" "eats" "tiger" "-"))
The cow does not see the bald eagle.
True
1
proof
[(triple2)]
("cow" "sees" "bald eagle" "-")
triple2
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "blue" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
@0: The bald eagle eats the tiger.[(triple1)] The cow does not see the bald eagle.[(triple2)] The rabbit needs the bald eagle.[(triple3)] The tiger is not cold.[(triple4)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
triple2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple3
The tiger is not cold.
("tiger" "is" "cold" "-")
triple4