The bear visits the cat. The cat eats the bear. The cat visits the bear. If someone eats the bear then they visit the bear.
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If someone eats the bear then they visit the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "bear" "+"))
The bear visits the cat.
True
1
proof
[(triple1)]
("bear" "visits" "cat" "+")
triple1
The bear does not visit the cat.
False
1
inv-proof
[(triple1)]
("bear" "visits" "cat" "-")
triple1
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear visits the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat visits the bear.[(triple3 OR ((triple2) -> rule1))]
The bear visits the cat.
("bear" "visits" "cat" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat visits the bear.
("cat" "visits" "bear" "+")
triple3
((triple2) -> (rule1 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1