The bear sees the lion. The lion is cold. The lion is not kind. If someone eats the bear and they are not young then they visit the lion. If someone is kind and they see the lion then the lion visits the bear. If the lion is rough then the lion does not eat the bear. If someone is rough then they visit the bear. If someone visits the lion then they visit the bear. If someone visits the bear then the bear sees the lion.
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is not kind.
("lion" "is" "kind" "-")
If someone eats the bear and they are not young then they visit the lion.
((("someone" "eats" "bear" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "lion" "+"))
If someone is kind and they see the lion then the lion visits the bear.
((("someone" "is" "kind" "+") ("someone" "sees" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If the lion is rough then the lion does not eat the bear.
((("lion" "is" "rough" "+")) -> ("lion" "eats" "bear" "-"))
If someone is rough then they visit the bear.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the lion then they visit the bear.
((("someone" "visits" "lion" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the bear then the bear sees the lion.
((("someone" "visits" "bear" "+")) -> ("bear" "sees" "lion" "+"))
The lion is cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "+")
triple2
The bear does not see the lion.
False
1
inv-proof
[(triple1)]
("bear" "sees" "lion" "-")
triple1
The bear does not visit the lion.
Unknown
inv-rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "lion" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear sees the lion.[(triple1)] The lion is cold.[(triple2)] The lion is not kind.[(triple3)]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is not kind.
("lion" "is" "kind" "-")
triple3