The bear is cold. The cow is nice. The lion is kind. If something sees the bear and the bear sees the lion then the lion is rough.
The bear is cold.
("bear" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The lion is kind.
("lion" "is" "kind" "+")
If something sees the bear and the bear sees the lion then the lion is rough.
((("something" "sees" "bear" "+") ("bear" "sees" "lion" "+")) -> ("lion" "is" "rough" "+"))
The lion is kind.
True
1
proof
[(triple3)]
("lion" "is" "kind" "+")
triple3
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The cow sees the bear.
Unknown
random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "+")
@0: The bear is cold.[(triple1)] The cow is nice.[(triple2)] The lion is kind.[(triple3)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3