The bald eagle is green. The bald eagle is red. The bald eagle is young. The bald eagle needs the bear. The bald eagle does not need the rabbit. The bald eagle sees the bear. The bear is young. The bear needs the bald eagle. The lion eats the rabbit. The lion is kind. The rabbit needs the bald eagle. The rabbit needs the bear. If something needs the rabbit and the rabbit is not cold then the rabbit eats the bear. If the bald eagle eats the lion and the bald eagle does not eat the rabbit then the rabbit sees the bear. If something is cold and it eats the bear then it needs the lion. If something is young and it sees the rabbit then it needs the rabbit. If something needs the rabbit and the rabbit sees the bear then it eats the bald eagle. If something needs the bald eagle then it is young. If something eats the rabbit then the rabbit does not eat the lion. If the rabbit eats the bald eagle then the bald eagle does not eat the bear.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something needs the rabbit and the rabbit is not cold then the rabbit eats the bear.
((("something" "needs" "rabbit" "+") ("rabbit" "is" "cold" "~")) -> ("rabbit" "eats" "bear" "+"))
If the bald eagle eats the lion and the bald eagle does not eat the rabbit then the rabbit sees the bear.
((("bald eagle" "eats" "lion" "+") ("bald eagle" "eats" "rabbit" "~")) -> ("rabbit" "sees" "bear" "+"))
If something is cold and it eats the bear then it needs the lion.
((("something" "is" "cold" "+") ("something" "eats" "bear" "+")) -> ("something" "needs" "lion" "+"))
If something is young and it sees the rabbit then it needs the rabbit.
((("something" "is" "young" "+") ("something" "sees" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If something needs the rabbit and the rabbit sees the bear then it eats the bald eagle.
((("something" "needs" "rabbit" "+") ("rabbit" "sees" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
If something needs the bald eagle then it is young.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something eats the rabbit then the rabbit does not eat the lion.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "lion" "-"))
If the rabbit eats the bald eagle then the bald eagle does not eat the bear.
((("rabbit" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "-"))
The rabbit needs the bald eagle.
True
1
proof
[(triple11)]
("rabbit" "needs" "bald eagle" "+")
triple11
The bald eagle does not need the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "bear" "-")
triple4
The rabbit does not eat the lion.
True
2
proof
[(((triple9) -> rule7))]
("rabbit" "eats" "lion" "-")
((triple9) -> (rule7 % int1))
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple11) -> rule6))]
("rabbit" "is" "young" "-")
((triple11) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@2: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The rabbit eats the bear.
Unknown
rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "bear" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle does not need the rabbit.[(triple5)] The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle sees the bear.[(triple6)] The bear is young.[(triple7 OR ((triple8) -> rule6))] The bear needs the bald eagle.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is kind.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the bear.[(triple12)] @1: The rabbit does not eat the lion.[(((triple9) -> rule7))] The rabbit is young.[(((triple11) -> rule6))]
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple5
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
((triple8) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple8
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
((triple9) -> (rule7 % int1))
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple11) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1