The bald eagle is nice. The bear is young. The cow eats the bald eagle. The lion eats the bald eagle. If the bear is nice then the bear is kind. If something needs the cow and the cow likes the bald eagle then the bald eagle needs the lion. If something eats the bald eagle then it needs the bear. If something likes the bear then it eats the lion. If the lion needs the bear then the bear eats the bald eagle. If the cow is cold then the cow is nice.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
If the bear is nice then the bear is kind.
((("bear" "is" "nice" "+")) -> ("bear" "is" "kind" "+"))
If something needs the cow and the cow likes the bald eagle then the bald eagle needs the lion.
((("something" "needs" "cow" "+") ("cow" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something eats the bald eagle then it needs the bear.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "bear" "+"))
If something likes the bear then it eats the lion.
((("something" "likes" "bear" "+")) -> ("something" "eats" "lion" "+"))
If the lion needs the bear then the bear eats the bald eagle.
((("lion" "needs" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If the cow is cold then the cow is nice.
((("cow" "is" "cold" "+")) -> ("cow" "is" "nice" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("lion" "eats" "bald eagle" "-")
triple4
The cow needs the bear.
True
2
proof
[(((triple3) -> rule3))]
("cow" "needs" "bear" "+")
((triple3) -> (rule3 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow does not need the bear.
False
2
inv-proof
[(((triple3) -> rule3))]
("cow" "needs" "bear" "-")
((triple3) -> (rule3 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The bear eats the bald eagle.
True
3
proof
[(((((triple4) -> rule3)) -> rule5))]
("bear" "eats" "bald eagle" "+")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The bear does not eat the bald eagle.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule5))]
("bear" "eats" "bald eagle" "-")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "lion" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "+")
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
@0: The bald eagle is nice.[(triple1)] The bear is young.[(triple2)] The cow eats the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] @1: The cow needs the bear.[(((triple3) -> rule3))] The lion needs the bear.[(((triple4) -> rule3))] @2: The bear eats the bald eagle.[(((((triple4) -> rule3)) -> rule5))] @3: The bear needs the bear.[(((((((triple4) -> rule3)) -> rule5)) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The cow needs the bear.
("cow" "needs" "bear" "+")
((triple3) -> (rule3 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple4) -> (rule3 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The lion needs the bear.
("lion" "needs" "bear" "+")
int3