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