The dog sees the rabbit. The rabbit is cold. If someone sees the rabbit and they are rough then they need the dog.
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If someone sees the rabbit and they are rough then they need the dog.
((("someone" "sees" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "dog" "+"))
The rabbit is cold.
True
1
proof
[(triple2)]
("rabbit" "is" "cold" "+")
triple2
The rabbit is not cold.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "cold" "-")
triple2
The rabbit does not need the dog.
Unknown
inv-rconc
[@1: The rabbit needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "dog" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The dog sees the rabbit.[(triple1)] The rabbit is cold.[(triple2)]
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2