The bald eagle eats the tiger. The cow is round. The cow does not visit the bald eagle. The cow does not visit the lion. The lion eats the bald eagle. The lion is round. The lion needs the bald eagle. The tiger does not eat the bald eagle. The tiger does not need the lion. The tiger does not visit the lion. If the tiger eats the bald eagle and the bald eagle visits the cow then the bald eagle eats the tiger. If the lion is round then the lion is kind. If something eats the lion then the lion visits the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
If the tiger eats the bald eagle and the bald eagle visits the cow then the bald eagle eats the tiger.
((("tiger" "eats" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the lion is round then the lion is kind.
((("lion" "is" "round" "+")) -> ("lion" "is" "kind" "+"))
If something eats the lion then the lion visits the tiger.
((("something" "eats" "lion" "+")) -> ("lion" "visits" "tiger" "+"))
The cow does not visit the bald eagle.
True
1
proof
[(triple3)]
("cow" "visits" "bald eagle" "-")
triple3
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The lion does not visit the tiger.
Unknown
inv-rconc
[@1: The lion visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "tiger" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle eats the tiger.[(triple1)] The cow does not visit the bald eagle.[(triple3)] The cow does not visit the lion.[(triple4)] The cow is round.[(triple2)] The lion eats the bald eagle.[(triple5)] The lion is round.[(triple6)] The lion needs the bald eagle.[(triple7)] The tiger does not eat the bald eagle.[(triple8)] The tiger does not need the lion.[(triple9)] The tiger does not visit the lion.[(triple10)] @1: The lion is kind.[(((triple6) -> rule2))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple3
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple4
The cow is round.
("cow" "is" "round" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
triple8
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple9
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
triple10
The lion is kind.
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1