The bear is nice. The mouse needs the bear. If something needs the mouse then it visits the mouse. If something is cold and it eats the mouse then it needs the mouse.
The bear is nice.
("bear" "is" "nice" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something needs the mouse then it visits the mouse.
((("something" "needs" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If something is cold and it eats the mouse then it needs the mouse.
((("something" "is" "cold" "+") ("something" "eats" "mouse" "+")) -> ("something" "needs" "mouse" "+"))
The mouse needs the bear.
True
1
proof
[(triple2)]
("mouse" "needs" "bear" "+")
triple2
The mouse does not need the bear.
False
1
inv-proof
[(triple2)]
("mouse" "needs" "bear" "-")
triple2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@2: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear is nice.[(triple1)] The mouse needs the bear.[(triple2)]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple2