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