The rabbit is cold. The squirrel chases the rabbit. If the rabbit chases the squirrel and the rabbit is rough then the squirrel is cold.
The rabbit is cold.
("rabbit" "is" "cold" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If the rabbit chases the squirrel and the rabbit is rough then the squirrel is cold.
((("rabbit" "chases" "squirrel" "+") ("rabbit" "is" "rough" "+")) -> ("squirrel" "is" "cold" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple2)]
("squirrel" "chases" "rabbit" "+")
triple2
The rabbit is not cold.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "cold" "-")
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 rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
@0: The rabbit is cold.[(triple1)] The squirrel chases the rabbit.[(triple2)]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple2