The mouse needs the squirrel. The squirrel is young. The tiger is rough. If something chases the squirrel then it is cold. If something chases the squirrel then it is not rough.
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something chases the squirrel then it is cold.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something chases the squirrel then it is not rough.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "rough" "-"))
The mouse needs the squirrel.
True
1
proof
[(triple1)]
("mouse" "needs" "squirrel" "+")
triple1
The squirrel is not young.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "young" "-")
triple2
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "cold" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The mouse needs the squirrel.[(triple1)] The squirrel is young.[(triple2)] The tiger is rough.[(triple3)]
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3