The bear visits the lion. The cat is cold. The cow chases the cat. The lion likes the cow. If someone visits the cow then the cow visits the cat. If someone is cold then they chase the bear. If someone is kind and rough then they chase the bear.
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone visits the cow then the cow visits the cat.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "cat" "+"))
If someone is cold then they chase the bear.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
If someone is kind and rough then they chase the bear.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "bear" "+"))
The bear visits the lion.
True
1
proof
[(triple1)]
("bear" "visits" "lion" "+")
triple1
The bear does not visit the lion.
False
1
inv-proof
[(triple1)]
("bear" "visits" "lion" "-")
triple1
The cat chases the bear.
True
2
proof
[(((triple2) -> rule2))]
("cat" "chases" "bear" "+")
((triple2) -> (rule2 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "chases" "bear" "-")
((triple2) -> (rule2 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cow does not visit the cat.
Unknown
inv-rconc
[@1: The cow visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cat" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear visits the lion.[(triple1)] The cat is cold.[(triple2)] The cow chases the cat.[(triple3)] The lion likes the cow.[(triple4)] @1: The cat chases the bear.[(((triple2) -> rule2))]
The bear visits the lion.
("bear" "visits" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple3
The lion likes the cow.
("lion" "likes" "cow" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple2) -> (rule2 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1