The bear is kind. The bear is rough. The bear sees the squirrel. The cat is cold. The rabbit is kind. The rabbit needs the bear. The squirrel sees the bear. If the rabbit sees the squirrel then the squirrel is cold.
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If the rabbit sees the squirrel then the squirrel is cold.
((("rabbit" "sees" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
The bear is kind.
True
1
proof
[(triple1)]
("bear" "is" "kind" "+")
triple1
The bear is not kind.
False
1
inv-proof
[(triple1)]
("bear" "is" "kind" "-")
triple1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The bear sees the squirrel.[(triple3)] The cat is cold.[(triple4)] The rabbit is kind.[(triple5)] The rabbit needs the bear.[(triple6)] The squirrel sees the bear.[(triple7)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7