The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle visits the cat. The bald eagle visits the lion. The cat chases the bald eagle. The cat is rough. The cat is round. The cat likes the lion. The lion chases the cat. The lion is green. The lion is round. The lion likes the bald eagle. The lion visits the bald eagle. If something is round then it visits the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something is round then it visits the bald eagle.
((("something" "is" "round" "+")) -> ("something" "visits" "bald eagle" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple7)]
("cat" "chases" "bald eagle" "+")
triple7
The lion does not chase the cat.
False
1
inv-proof
[(triple11)]
("lion" "chases" "cat" "-")
triple11
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle visits the cat.[(triple5)] The bald eagle visits the lion.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat likes the lion.[(triple10)] The lion chases the cat.[(triple11)] The lion is green.[(triple12)] The lion is round.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15 OR ((triple13) -> rule1))] @1: The cat visits the bald eagle.[(((triple9) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The cat likes the lion.
("cat" "likes" "lion" "+")
triple10
The lion chases the cat.
("lion" "chases" "cat" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
((triple13) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple9) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1