The bald eagle chases the lion. The cat visits the bald eagle. The lion chases the bald eagle. The lion eats the cat. The lion is round. The lion visits the bald eagle. The lion visits the cat. If the cat visits the lion then the lion chases the cat. If the cat visits the bald eagle and the bald eagle chases the lion then the cat eats the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If the cat visits the lion then the lion chases the cat.
((("cat" "visits" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If the cat visits the bald eagle and the bald eagle chases the lion then the cat eats the bald eagle.
((("cat" "visits" "bald eagle" "+") ("bald eagle" "chases" "lion" "+")) -> ("cat" "eats" "bald eagle" "+"))
The lion chases the bald eagle.
True
1
proof
[(triple3)]
("lion" "chases" "bald eagle" "+")
triple3
The lion does not visit the cat.
False
1
inv-proof
[(triple7)]
("lion" "visits" "cat" "-")
triple7
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "cat" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bald eagle chases the lion.[(triple1)] The cat visits the bald eagle.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the cat.[(triple4)] The lion is round.[(triple5)] The lion visits the bald eagle.[(triple6)] The lion visits the cat.[(triple7)] @1: The cat eats the bald eagle.[(((triple2 triple1) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion eats the cat.
("lion" "eats" "cat" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
The lion visits the cat.
("lion" "visits" "cat" "+")
triple7
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple2 triple1) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1