The bear is kind. The mouse is kind. The tiger visits the bear. If someone is kind and they see the bear then the bear likes the mouse.
The bear is kind.
("bear" "is" "kind" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is kind and they see the bear then the bear likes the mouse.
((("someone" "is" "kind" "+") ("someone" "sees" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
The tiger visits the bear.
True
1
proof
[(triple3)]
("tiger" "visits" "bear" "+")
triple3
The bear is not kind.
False
1
inv-proof
[(triple1)]
("bear" "is" "kind" "-")
triple1
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "mouse" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bear is kind.[(triple1)] The mouse is kind.[(triple2)] The tiger visits the bear.[(triple3)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple3