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