The bald eagle needs the lion. The cat needs the bald eagle. The dog is green. The lion chases the cat. If something needs the lion then it eats the bald eagle. If something eats the dog then the dog eats the cat. If something chases the cat and it chases the bald eagle then the cat eats the lion. If something is big and it needs the bald eagle then it eats the bald eagle. If something is green and red then it chases the dog. Green, nice things are kind. If something chases the bald eagle then the bald eagle chases the cat. If something eats the bald eagle then it needs the cat.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
If something needs the lion then it eats the bald eagle.
((("something" "needs" "lion" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the dog then the dog eats the cat.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "cat" "+"))
If something chases the cat and it chases the bald eagle then the cat eats the lion.
((("something" "chases" "cat" "+") ("something" "chases" "bald eagle" "+")) -> ("cat" "eats" "lion" "+"))
If something is big and it needs the bald eagle then it eats the bald eagle.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is green and red then it chases the dog.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "chases" "dog" "+"))
Green, nice things are kind.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something chases the bald eagle then the bald eagle chases the cat.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If something eats the bald eagle then it needs the cat.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "cat" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple1)]
("bald eagle" "needs" "lion" "+")
triple1
The lion does not chase the cat.
False
1
inv-proof
[(triple4)]
("lion" "chases" "cat" "-")
triple4
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle needs the cat.
True
3
proof
[(((((triple1) -> rule1)) -> rule8))]
("bald eagle" "needs" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not need the cat.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule8))]
("bald eagle" "needs" "cat" "-")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The lion is kind.
Unknown
rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "kind" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the cat.
Unknown
random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
@0: The bald eagle needs the lion.[(triple1)] The cat needs the bald eagle.[(triple2)] The dog is green.[(triple3)] The lion chases the cat.[(triple4)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle needs the cat.[(((((triple1) -> rule1)) -> rule8))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The lion chases the cat.
("lion" "chases" "cat" "+")
triple4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2