The bald eagle chases the cat. The cat eats the bald eagle. The lion chases the cat. If the lion chases the cat and the cat needs the lion then the cat does not eat the lion. If the cat does not need the lion then the cat does not chase the bald eagle. If the bald eagle is nice and the bald eagle needs the lion then the lion is not nice. If something is cold and not nice then it eats the bald eagle. If something chases the lion and the lion eats the bald eagle then the bald eagle does not eat the cat. If something eats the bald eagle then the bald eagle chases the lion.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
If the lion chases the cat and the cat needs the lion then the cat does not eat the lion.
((("lion" "chases" "cat" "+") ("cat" "needs" "lion" "+")) -> ("cat" "eats" "lion" "-"))
If the cat does not need the lion then the cat does not chase the bald eagle.
((("cat" "needs" "lion" "~")) -> ("cat" "chases" "bald eagle" "-"))
If the bald eagle is nice and the bald eagle needs the lion then the lion is not nice.
((("bald eagle" "is" "nice" "+") ("bald eagle" "needs" "lion" "+")) -> ("lion" "is" "nice" "-"))
If something is cold and not nice then it eats the bald eagle.
((("something" "is" "cold" "+") ("something" "is" "nice" "~")) -> ("something" "eats" "bald eagle" "+"))
If something chases the lion and the lion eats the bald eagle then the bald eagle does not eat the cat.
((("something" "chases" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "-"))
If something eats the bald eagle then the bald eagle chases the lion.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The lion does not chase the cat.
False
1
inv-proof
[(triple3)]
("lion" "chases" "cat" "-")
triple3
The bald eagle chases the lion.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not chase the lion.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "chases" "lion" "-")
((triple2) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The lion eats the bald eagle.
Unknown
rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "bald eagle" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat chases the lion.
Unknown
random
[@0: The cat chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "lion" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat eats the bald eagle.[(triple2)] The lion chases the cat.[(triple3)] @1: The bald eagle chases the lion.[(((triple2) -> rule6))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The lion chases the cat.
("lion" "chases" "cat" "+")
triple3
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1