The bald eagle sees the cat. The cat sees the lion. The lion is nice. If something sees the cat then the cat does not visit the lion. If something chases the cat then it chases the lion.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
If something sees the cat then the cat does not visit the lion.
((("something" "sees" "cat" "+")) -> ("cat" "visits" "lion" "-"))
If something chases the cat then it chases the lion.
((("something" "chases" "cat" "+")) -> ("something" "chases" "lion" "+"))
The cat sees the lion.
True
1
proof
[(triple2)]
("cat" "sees" "lion" "+")
triple2
The lion is not nice.
False
1
inv-proof
[(triple3)]
("lion" "is" "nice" "-")
triple3
The cat does not visit the lion.
True
2
proof
[(((triple1) -> rule1))]
("cat" "visits" "lion" "-")
((triple1) -> (rule1 % int1))
The cat does not visit the lion.
("cat" "visits" "lion" "-")
int1
The cat visits the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The cat does not visit the lion.
("cat" "visits" "lion" "-")
int1
The cat does not chase the lion.
Unknown
inv-rconc
[@1: The cat chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat sees the lion.[(triple2)] The lion is nice.[(triple3)] @1: The cat does not visit the lion.[(((triple1) -> rule1))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat sees the lion.
("cat" "sees" "lion" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The cat does not visit the lion.
("cat" "visits" "lion" "-")
((triple1) -> (rule1 % int1))
The cat does not visit the lion.
("cat" "visits" "lion" "-")
int1