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