The bald eagle eats the lion. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is cold. The lion is young. The lion needs the bald eagle. The lion sees the bald eagle. If something sees the bald eagle then the bald eagle eats the lion. If the bald eagle is red and the bald eagle needs the lion then the bald eagle is round. If the lion eats the bald eagle then the bald eagle needs the lion. Kind things are round. If something needs the lion and it is kind then the lion sees the bald eagle. If something sees the lion and it eats the bald eagle then it sees the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something sees the bald eagle then the bald eagle eats the lion.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the bald eagle is red and the bald eagle needs the lion then the bald eagle is round.
((("bald eagle" "is" "red" "+") ("bald eagle" "needs" "lion" "+")) -> ("bald eagle" "is" "round" "+"))
If the lion eats the bald eagle then the bald eagle needs the lion.
((("lion" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something needs the lion and it is kind then the lion sees the bald eagle.
((("something" "needs" "lion" "+") ("something" "is" "kind" "+")) -> ("lion" "sees" "bald eagle" "+"))
If something sees the lion and it eats the bald eagle then it sees the bald eagle.
((("something" "sees" "lion" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bald eagle does not see the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "lion" "-")
triple5
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "round" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle eats the lion.[(triple1 OR ((triple10) -> rule1))] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the lion.[(triple4 OR ((triple6) -> rule3))] The bald eagle sees the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is cold.[(triple7)] The lion is young.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
((triple10) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
((triple6) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10