The bald eagle needs the bear. The bald eagle sees the lion. The bear needs the bald eagle. The bear needs the cow. The bear needs the lion. The bear sees the bald eagle. The bear sees the lion. The cow is young. The lion chases the bald eagle. The lion chases the bear. The lion is red. The lion is young. If something is young then it needs the bald eagle. If something sees the bald eagle and it sees the lion then it chases the lion. If something is nice then it sees the lion.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow is young.
("cow" "is" "young" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
If something is young then it needs the bald eagle.
((("something" "is" "young" "+")) -> ("something" "needs" "bald eagle" "+"))
If something sees the bald eagle and it sees the lion then it chases the lion.
((("something" "sees" "bald eagle" "+") ("something" "sees" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something is nice then it sees the lion.
((("something" "is" "nice" "+")) -> ("something" "sees" "lion" "+"))
The cow is young.
True
1
proof
[(triple8)]
("cow" "is" "young" "+")
triple8
The bear does not see the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "sees" "bald eagle" "-")
triple6
The bear chases the lion.
True
3
proof
[(((triple6 triple7) -> rule2))]
("bear" "chases" "lion" "+")
((triple6 triple7) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The cow does not need the bald eagle.
False
2
inv-proof
[(((triple8) -> rule1))]
("cow" "needs" "bald eagle" "-")
((triple8) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle chases the lion.
Unknown
rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "lion" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
@0: The bald eagle needs the bear.[(triple1)] The bald eagle sees the lion.[(triple2)] The bear needs the bald eagle.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear sees the lion.[(triple7)] The cow is young.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion chases the bear.[(triple10)] The lion is red.[(triple11)] The lion is young.[(triple12)] @1: The bear chases the lion.[(((triple6 triple7) -> rule2))] The cow needs the bald eagle.[(((triple8) -> rule1))] The lion needs the bald eagle.[(((triple12) -> rule1))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The bear sees the lion.
("bear" "sees" "lion" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion chases the bear.
("lion" "chases" "bear" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is young.
("lion" "is" "young" "+")
triple12
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple6 triple7) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1